ReScript→AffineScript migration: finish the compiler/src port (modules 7–17) - #30

Merged

hyperpolymath merged 11 commits into

mainfrom

claude/youthful-fermat-90bhhu

Jun 24, 2026

Commits on Jun 23, 2026

error-lang: replace fabricated ABI "proofs" with machine-checked ones

hyperpolymath
and
claude
committed
docs: design Error-Lang as a Trope IR front end (trope-particularity integration)

hyperpolymath
and
claude
committed
docs: qualify external repo paths to clear structural_drift (SD022)

hyperpolymath
and
claude
committed
compiler: begin ReScript->AffineScript migration — port Types.res

hyperpolymath
and
claude
committed
compiler: fix AffineScript module system to unblock the per-module port

hyperpolymath
and
claude
committed
compiler: port Lexer.res -> Lexer.affine

hyperpolymath
and
claude
committed