Phase 8. Datalog (compile-time semi-naive eval)
| Field | Value |
|---|---|
| MEP | MEP-54 §Phase plan · Phase 8 |
| Status | NOT STARTED |
| Started | — |
| Landed | — |
| Tracking PR | — |
Gate
go test -v -count=1 ./transpiler3/go/build/... -run ^TestPhase8
Description
Datalog (compile-time semi-naive eval) for the Mochi-to-Go transpiler. Gated against vm3 with byte-equal stdout comparison.