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

compare_primitives_smoke IR-shape assertion #18

New Issue
Open
opened 2026-05-20 13:21:59 +02:00 by Brummel · 0 comments
Brummel commented 2026-05-20 13:21:59 +02:00
Owner
Copy Link
Copy Source

Observe compare__Int / compare__Bool / compare__Str symbols in the emitted IR. Blocked on emit-ir CLI not running mono; resolution paths include extending the CLI to run mono, using library APIs directly in e2e.rs, or adding --dump-ir to ail build. The E2E stdout assertion already covers correctness; the IR-shape test would catch refactor regressions that rename mono symbols.

context: dropped from ct.4.4 when the BLOCKED condition surfaced.

Verification 2026-06-02: The BLOCKER is resolved. ail emit-ir now runs the full pipeline including monomorphisation (elaborate_workspace, mir.1b), so the compare__Int/compare__Bool/compare__Str symbols are observable in emitted IR without a CLI extension. The IR-shape assertion test itself still does not exist (the present compare_primitives_smoke_prints_1_2_3_thrice in crates/ail/tests/e2e.rs is a stdout test, not an IR-shape test). Net: unblocked, now a straightforward add against emit-ir output. No --dump-ir flag exists or is needed.

Observe `compare__Int` / `compare__Bool` / `compare__Str` symbols in the emitted IR. Blocked on `emit-ir` CLI not running mono; resolution paths include extending the CLI to run mono, using library APIs directly in e2e.rs, or adding `--dump-ir` to `ail build`. The E2E stdout assertion already covers correctness; the IR-shape test would catch refactor regressions that rename mono symbols. **context:** dropped from ct.4.4 when the BLOCKED condition surfaced. --- **Verification 2026-06-02:** The BLOCKER is resolved. `ail emit-ir` now runs the full pipeline including monomorphisation (`elaborate_workspace`, mir.1b), so the `compare__Int`/`compare__Bool`/`compare__Str` symbols are observable in emitted IR without a CLI extension. The IR-shape assertion test itself still does not exist (the present `compare_primitives_smoke_prints_1_2_3_thrice` in `crates/ail/tests/e2e.rs` is a stdout test, not an IR-shape test). Net: unblocked, now a straightforward add against `emit-ir` output. No `--dump-ir` flag exists or is needed.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
BLOCKER
Core functionality broken — takes precedence over everything else in the queue. /boss preempts current work to handle it
 bug
Observable misbehaviour — surface inconsistency, false positive, wrong output
 feature
Smaller addition inside a milestone, no full spec
 idea
Not yet decision-ready, no commitment
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
claude (Claude) Brummel
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Brummel/AILang#18
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?