N-ary functions: make arity structural across the compiler - #8557

Draft

cristianoc wants to merge 10 commits into

Commits on Aug 17, 2026

Enforce function arity in inclusion, type equality, and coercion

cristianoc
and
claude
committed
ebfda40
Harden the Parsetree0 PPX bridge and add a round-trip corpus

cristianoc
and
claude
committed
ab2699f
Make parsetree arrow arity honest

cristianoc
and
claude
committed
e019ed3
Make functions and arrow types n-ary in the parsetree

cristianoc
and
claude
committed
8de13f5
Make the typed layers n-ary: Tarrow params and Texp_function params

cristianoc
and
claude
committed
d5cf39c
Remove dead code enabled by structural arity

cristianoc
and
claude
committed
20afe98
Eliminate Pjs_fn_make, Pjs_fn_make_unit, and unsafe_adjust_to_arity

cristianoc
and
claude
committed
8c402ae
Make a function's locally abstract types part of the function node

cristianoc
and
claude
committed
e2202fb
Make locally abstract value constraints structural in the parsetree

cristianoc
and
claude
committed
716cb1f
Preserve structure in docgen function details
cristianoc
committed
c3e084f