V2 grammar extern typecheck#77

Closed

hyperpolymath wants to merge 3 commits into

mainfrom

v2-grammar-extern-typecheck

Commits on May 14, 2026

feat(parser): admit slash-separated module paths (`a/b/c`)

hyperpolymath
and
claude
committed
feat(parser,desugar): extern "abi" { … } blocks (v2 grammar phase 2A)

hyperpolymath
and
claude
committed
feat(typing,desugar): typecheck extern items (v2 grammar phase 2B-i)

hyperpolymath
and
claude
committed