Skip to content

Lift the #-shaped length foreigns to a unary length primop - #341

Merged
Unisay merged 1 commit into
mainfrom
issue-247/prim-len-lift
Jul 28, 2026
Merged

Lift the #-shaped length foreigns to a unary length primop#341
Unisay merged 1 commit into
mainfrom
issue-247/prim-len-lift

feat(foreign-lift): lift the #-shaped length foreigns to PrimLen (#247)

42cce26
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
format
succeeded Jul 28, 2026 in 33s