✗
Failing This test is currently failing.
Failed: backend-exec
Failure Output
error[KORU161]: std/store:take addresses a row: take(store[handle]) - '' has no addressing head
--> /Users/larsde/src/koru/tests/regression/100_MODULE_SYSTEM/115_COMPTIME_MIRROR/115_023_store_take_in_module/lib.k:9:0 Code
// MIRROR of 690_075_store_cross_store_row_index: `std/store:take` indexed by a
// cell of a DIFFERENT store, both stores owned by the imported module.
//
// take discharges a row's obligation, and the index `todos[ui.sel]` has to
// lower against two separately synthesized stores that share one module home.
// The singular and plural store paths meet here, which is where a fix that
// converted only one of them would show.
import app/lib
app/lib:run()
Expected output
done 1
Flows
flow ~run click a branch to expand · @labels scroll to their anchor
run
Test Configuration
MUST_RUN