test(ir): lock generic substitution + mono keys before A4.1 extraction (A4.1 scaffolding step 1)

Browse Source

Test-first scaffolding ahead of extracting src/ir/generics.zig — no code change
to the refactor targets (buildTypeBindings / mangleGenericName / monomorphize* /
inferGenericReturnType / mangleTypeName).

Adds the first non-FFI generic/pack .ir snapshots (closing the ARCH-SAFETY §3
gap for this phase), each captured surgically via `sx ir | normalize_ir`,
path-free and idempotent:
- 0200-generics-generic            generic fn, type-param inference + mono
- 0201-generics-generic-struct     generic struct instantiation
- 0507-packs-pack-mono-dedup       mono-key dedup (same shape => one mono)
- 0518-packs-pack-value-dispatch   pack value dispatch (monomorphizePackFn)
- 0524-packs-generic-fn-pack-state-leak  pack-state isolation (issue-0048/0050
                                         class; guards the future scoped-env change)

Adds 2 unit tests via the existing public surface (no new pub exposure,
mirroring the A3.2 sub-step-1 cadence):
- mangleTypeName: pins the mono-key fragment encoding per type shape
  (s64 / ptr_X / opt_X / SL_X / mptr_X / AR_n_X / vec_n_X / struct-name / tu_X_Y).
- inferGenericReturnType: explicit type-arg path binds $T and resolves the
  -> T return (pair(s64,..) => s64, pair(f64,..) => f64).

The internal substitution/mono-key unit tests (comptime-value mangle,
buildTypeBindings strategies, scoped-env isolation) land with the generics.zig
extraction in sub-step 2, as A3.2's plan-object tests landed with CallPlan.

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

...

This commit is contained in:

agra

2026-06-02 21:05:33 +03:00

parent 1007e23561

commit 91e99f80c7

6 changed files with 18872 additions and 0 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

3193

examples/expected/0200-generics-generic.ir Normal file

File diff suppressed because it is too large Load Diff

5029

examples/expected/0201-generics-generic-struct.ir Normal file

File diff suppressed because it is too large Load Diff

3564

examples/expected/0507-packs-pack-mono-dedup.ir Normal file

File diff suppressed because it is too large Load Diff

3269

examples/expected/0518-packs-pack-value-dispatch.ir Normal file

File diff suppressed because it is too large Load Diff

3728

examples/expected/0524-packs-generic-fn-pack-state-leak.ir Normal file

File diff suppressed because it is too large Load Diff