Move Float16 Prelude off the Double primitive - #49

Draft

isomorphisms wants to merge 12 commits into

fix/float16-bootstrap-totalityfrom

feature/float16-core-primitive

Commits on Aug 30, 2026

Seed bootstrap compiler with primitive Float support
isomorphisms
committed
fd630b0
Restore primitive floating path below the Prelude
isomorphisms
committed
2a13b67
Move Float16 Prelude off the Double carrier
isomorphisms
committed
28c314e
Remove remaining Double dependency from Float16 Prelude
isomorphisms
committed
95ac4c4
Remove floating-to-integer and wide-literal dependencies from Float16 Prelude
isomorphisms
committed
41d0a03
Gate Float16 Prelude against Double regression
isomorphisms
committed
224dbb0
Exercise primitive Float carrier below Float16
isomorphisms
committed
f1db929
Test primitive Float carrier before Float16 rounding
isomorphisms
committed
9cfc0ae
Show Float16 without the Double primitive
isomorphisms
committed
afa5be4
Restore Float runtime support outside Chez
isomorphisms
committed
ac1c41d
Fix Float16 formatter binding name
isomorphisms
committed
ab07b88
Test primitive Float without Double literals
isomorphisms
committed
3aa3a84