Repository navigation

feat(desugar): a qualified constructor takes its arguments (E7, part 2) - #430

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/e2e-language-pass-ow72tj

Nov 10, 2026

Merged

feat(desugar): a qualified constructor takes its arguments (E7, part 2)#430
hyperpolymath merged 2 commits into
mainfrom
claude/e2e-language-pass-ow72tj

Commits on Nov 10, 2026
- feat(desugar): a qualified constructor takes its arguments (E7)
  claude
  committed
  504d9e3
- fix(driver): only the main of the root module is an entry point
  claude
  committed
  0966fdc