Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity

plan: rpe.1 amendment — Task 5 Cat B test-harness patch

Browse Source 
Adds the six IR-shape tests in crates/ail/tests/e2e.rs to Task 5's
file list and documents the test-harness patch (replace home-rolled
desugar+lift loop with monomorphise_workspace). The patch is the
small structural fix the rpe.1 BLOCKED orchestrator's Cat B
findings pointed to. With the two upstream codegen bugs now fixed
(commits 1fb225e + feb9413), the rpe.1 corpus migration plus this
Cat B harness patch should make the full retry green.
This commit is contained in:
Brummel
2026-05-14 01:53:14 +02:00
parent 34a33472cb
commit 8b455bee4c
1 changed files with 22 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/plans/2026-05-14-iter-rpe.1.md
+22
View File
@@ -399,6 +399,28 @@ in Task 5; expect Task-5 sites to fail and proceed to Task 5.
- Modify: `crates/ailang-core/tests/design_schema_drift.rs:87-94`
- Modify: `crates/ailang-surface/src/lex.rs:320, 328`
- Modify: `crates/ailang-prose/src/lib.rs:1585-1593`
- Modify: `crates/ail/tests/e2e.rs` — six IR-shape tests at lines 1408,
1628, 1710, 1800, 1936, 2013 (Cat B test-harness patch, see below).
**Cat B test-harness patch (added 2026-05-14 after the rpe.1 BLOCKED
orchestrator run):** Six IR-shape tests in `crates/ail/tests/e2e.rs`
build their own `lifted_ws` via a `lift_letrecs` loop and lower it
via `lower_workspace_with_alloc`, skipping `monomorphise_workspace`.
Pre-migration this was fine — the fixtures used `(do io/print_int x)`,
a directly-recognised effect-op. Post-migration they use `(app print x)`
(polymorphic free fn), which requires mono to resolve to
`print__Int`. Without the mono pass, lowering errors with
`UnknownVar("print")`. The fix is identical at all six sites: replace
the home-rolled `desugar+lift` loop with a single call to
`ailang_check::monomorphise_workspace(&ws)?` and lower the
resulting `MonomorphisedWorkspace`. Sites to patch:
- `reuse_as_demo_under_rc_uses_inplace_rewrite` (line 1408)
- `alloc_rc_borrow_only_recursive_list_drop` (line 1628)
- `alloc_rc_partial_drop_skips_moved_keeps_wildcarded` (line 1710)
- `alloc_rc_own_param_dec_at_fn_return` (line 1800)
- `iter18e_drop_iterative_emits_worklist_body_no_self_recursion` (line 1936)
- `iter18e_no_annotation_keeps_recursive_drop_body` (line 2013)
- [ ] **Step 1: Migrate `ailang-check/src/lib.rs:3871-3877`**