Add typechecking compiler pass#37

Merged

ecioppettini merged 19 commits into

enzo/bootstrap-typechecking-compiler-pass

Jul 8, 2025

Commits on Jul 1, 2025

Commits on Jul 2, 2025

typecheck utxo resume and 'method' calls
ecioppettini
committed

Commits on Jul 3, 2025

remove duplicated code for field/method checks
ecioppettini
committed

Commits on Jul 4, 2025

fix invalid codegen intermediate for i32

ecioppettini
and
SpaceManiac
authored

Commits on Jul 6, 2025

implement proper linear typing (handle branches and loops)
ecioppettini
committed