Merge the Lam IR into Lambda - #8608

Open

cristianoc wants to merge 46 commits into

lam-convert-cleanup-2

Commits on Sep 1, 2026

Classify erasing builtins in the primitive table

cristianoc
and
claude
committed
3245b09
Give Lambda the JavaScript null and undefined constants

cristianoc
and
claude
committed
29ba6e8
Produce the polymorphic variant runtime name at translation

cristianoc
and
claude
committed
c50631e
Check polymorphic variant name range in the type checker

cristianoc
and
claude
committed
60d65b7
Own the constant representation in Lambda and drop the converter

cristianoc
and
claude
committed
2c9a0bf
Delete the curried-application machinery

cristianoc
and
claude
committed
0ca8d9a
Remove the %function_arity primitive

cristianoc
and
claude
committed
a1b1687
Rename Lam_pass_alpha_conversion to Lam_pass_apply_arity

cristianoc
and
claude
committed
4235bab
Query the callee's arity where it is used

cristianoc
and
claude
committed
0d55ded
Delete Lam_pass_apply_arity and Lam_eta_conversion

cristianoc
and
claude
committed
0d29fd5
Drop the two collect_info calls that nothing can observe

cristianoc
and
claude
committed
c6b836b
Record identifier info with replace instead of add

cristianoc
and
claude
committed
b4bec2a
Give Lambda the isout offset and the Lam nullable names

cristianoc
and
claude
committed
2b19e30
Fix a recursive module with an empty signature losing its effects

cristianoc
and
claude
committed
9082652
Derive a block's mutability from its shape

cristianoc
and
claude
committed
45ce2b5
Fix Int.Ref.increment evaluating its argument twice

cristianoc
and
claude
committed
df2dc39
Delete Poffsetref

cristianoc
and
claude
committed
80f7dea
Delete Poffsetint and the %succint / %predint builtins

cristianoc
and
claude
committed
a05d98b
Make a module reference a name in Lambda too

cristianoc
and
claude
committed
243e4d6
Read the required modules off the Lambda term

cristianoc
and
claude
committed
a1c9dea
Make conversion a 1-1 rebuild

cristianoc
and
claude
committed
abdcff1
Drop the value_kind slot from Lambda's Llet

cristianoc
and
claude
committed
8634b23
Drop the arity field and the switch locations

cristianoc
and
claude
committed
cd8a8d8
Give Lambda's Lprim the same record as Lam's

cristianoc
and
claude
committed
f3aaa48
Group Lambda's apply location and inline attribute

cristianoc
and
claude
committed
3fe8f58
Fold the switcher's range guard into the switch at production

cristianoc
and
claude
committed
d89e024
Remove the Pisout primitive

cristianoc
and
claude
committed
3eed0fc
Remove the Switch functor

cristianoc
and
claude
committed
61833b1
Make Lam_primitive.t a re-export of Lambda.primitive

cristianoc
and
claude
committed
d765b50
Make Lambda private, with a constructor per variant

cristianoc
and
claude
committed
eadd03d
Add sharing variants of the list and option maps

cristianoc
and
claude
committed
9aefec8
Give Lambda's constructors the folds Lam's have

cristianoc
and
claude
committed
1a5c53f
Move the raise-guard rewrite out of Lam.if_ into a pass

cristianoc
and
claude
committed
0ef1dcf
Make Lam.t an alias of Lambda.lambda and drop the conversion

cristianoc
and
claude
committed
fb89d6c
Delete the Lam re-export shells

cristianoc
and
claude
committed
87ecd27
Retire Lam_free_variables in favour of Lambda's

cristianoc
and
claude
committed
72b340c
Express subst_lambda through shallow_map_sharing and retire Lam_subst

cristianoc
and
claude
committed
03f074f
Retire Lam_iter and derive Lambda.iter from a shallow exists

cristianoc
and
claude
committed
5e249ce
Delete the Lam module

cristianoc
and
claude
committed
4419677
Rename Lambda.lambda to Lambda.t

cristianoc
and
claude
committed
c7d3285
Clear the remaining references to Lam

cristianoc
and
claude
committed
c415457
Merge the two Lambda printers into Printlambda

cristianoc
and
claude
committed
b4bc9e8
Fold required_modules into its only caller

cristianoc
and
claude
committed
4872308
Consolidate the four ident sets into Set_ident

cristianoc
and
claude
committed
6f54af0
Add changelog entries for the Lambda/Lam merge

cristianoc
and
claude
committed
87d243c
Point the changelog entries at the actual PR number

cristianoc
and
claude
committed
a0c916b