test(ir): replace contaminated 0524 IR snapshot with clean 0513 (A4.1 scaffolding fix)

Browse Source

The 0524-packs-generic-fn-pack-state-leak example has a #run that prints at
IR-gen time, and tests/run_examples.sh captures `sx ir ... 2>&1`, so its .ir
snapshot was contaminated with #run stdout (`0: len=0` ...) instead of pure IR.

Remove 0524.ir — pack-state isolation (the issue-0048/0050 class) stays guarded
by 0524's existing runtime .stdout/.exit, where a leaked outer pack_arg_types
would corrupt the printed len= sequence.

Replace it with 0513-packs-pack-mixed-comptime.ir, which is print-free at
IR-gen time (clean, idempotent, path-free) and additionally locks the
comptime-value mono-key path (appendComptimeValueMangle): the IR shows
tagged(7,..) vs tagged(9) producing distinct monos
@tagged__ct_7__pack_s64_s64_s64 / @tagged__ct_9__pack.

zig build, zig build test, tests/run_examples.sh (357/0) all green.

...

This commit is contained in:

agra

2026-06-02 21:13:50 +03:00

parent 91e99f80c7

commit e1f167a1c3

1 changed files with 807 additions and 1313 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

2120

examples/expected/0524-packs-generic-fn-pack-state-leak.ir → examples/expected/0513-packs-pack-mixed-comptime.ir

File diff suppressed because it is too large Load Diff