implement typed rethrows for higher-order functions#3343

Open

rossirpaulo wants to merge 27 commits intocanaryfrom

rossirpaulo/typed-rethrows-hof

Commits on Apr 8, 2026

baml_language: add throws field to function type representations
rossirpaulo
committed
baml_language: wire throws into function signature construction
rossirpaulo
committed
baml_language: finalize typed rethrows for higher-order functions
rossirpaulo
committed
baml_language: add stored callback enforcement for typed rethrows

rossirpaulo
and
claude
committed
baml_language: add stdlib migration and throws regression coverage
rossirpaulo
committed
Refine typed throws semantics for higher-order functions
rossirpaulo
committed
Fix function-type throws validation and optional-call propagation
rossirpaulo
committed
Fix lambda generic scope and optional function-shape matching
rossirpaulo
committed
Clean up lambda throws diagnostics and parenthesize optional function types
rossirpaulo
committed
Update MIR and codegen snapshots for function throws display
rossirpaulo
committed
Update test expectations for typed rethrows changes

rossirpaulo
and
claude
committed

Commits on Apr 9, 2026

Commits on Apr 10, 2026

Commits on Apr 16, 2026

Refine typed throws inference for higher-order callbacks
rossirpaulo
committed