fix(compiler): fixes found building a real multi-module TEA app on Bun-ESM - #777

Merged

hyperpolymath merged 14 commits into

mainfrom

fix/bun-esm-generic-kinds-tea-shape

Oct 5, 2026

Commits on Oct 5, 2026

fix(typecheck,bun-esm): generic enum kinds; qualified ctors; sync receiver-first fns

hyperpolymath
and
claude
committed
9152a8a
fix(typecheck,bun-esm): thunk lambdas, parametric extern types, math builtins

hyperpolymath
and
claude
committed
7832f47
feat(module_loader): $AFFINESCRIPT_PATH package search path

hyperpolymath
and
claude
committed
5e0279e
fix(ast): find_free_vars walks loops, assignments and pattern binders

hyperpolymath
and
claude
committed
9d4e00b
fix(typecheck,resolve,bun-esm): record update typing, imported types, lambdas in methods

hyperpolymath
and
claude
committed
c23c4e3
fix(module_loader): carry directly-imported enums when flattening

hyperpolymath
and
claude
committed
f069138
fix(bun-esm,typecheck): Int division in loops; generic externs used before declaration

hyperpolymath
and
claude
committed
efa8683
fix(typecheck): scope a function body's let-bindings, not just its params

hyperpolymath
and
claude
committed
ac4afa4
fix(module_loader): flatten imports transitively

hyperpolymath
and
claude
committed
7c8ea31
fix(bun-esm): emit enum constructor bindings before top-level consts; stricter negative tests

hyperpolymath
and
claude
committed
7eddd39
fix(module_loader): memoise transitive flattening; assert field-not-found

hyperpolymath
and
claude
committed
2671928
Merge branch 'main' into fix/bun-esm-generic-kinds-tea-shape
hyperpolymath
authored
c054ded
docs(compiler): expand docstrings for type checking, import resolution, and JavaScript code generation
coderabbitai[bot]
committed
c62b0d1
Update lib/module_loader.ml

hyperpolymath
and
coderabbitai[bot]
authored
e3eaef1

Navigation Menu

Uh oh!

fix(compiler): fixes found building a real multi-module TEA app on Bun-ESM - #777

fix(compiler): fixes found building a real multi-module TEA app on Bun-ESM#777
hyperpolymath merged 14 commits into
mainfrom
fix/bun-esm-generic-kinds-tea-shape

Commits on Oct 5, 2026

fix(typecheck,bun-esm): generic enum kinds; qualified ctors; sync receiver-first fns

fix(typecheck,bun-esm): thunk lambdas, parametric extern types, math builtins

feat(module_loader): $AFFINESCRIPT_PATH package search path

fix(ast): find_free_vars walks loops, assignments and pattern binders

fix(typecheck,resolve,bun-esm): record update typing, imported types, lambdas in methods

fix(module_loader): carry directly-imported enums when flattening

fix(bun-esm,typecheck): Int division in loops; generic externs used before declaration

fix(typecheck): scope a function body's let-bindings, not just its params

fix(module_loader): flatten imports transitively

fix(bun-esm): emit enum constructor bindings before top-level consts; stricter negative tests

fix(module_loader): memoise transitive flattening; assert field-not-found

Merge branch 'main' into fix/bun-esm-generic-kinds-tea-shape

docs(compiler): expand docstrings for type checking, import resolution, and JavaScript code generation

Update lib/module_loader.ml