Fix Python translation pipeline: InstanceCall, control flow, and construct support#613

Draft

joehendrix wants to merge 14 commits intomainfrom

jhx/fix_dispatch

Commits on Mar 19, 2026

Fix Return clobbering heap, implement Exit, and preserve Block labels

joehendrix
and
claude
committed
Add regression tests for nested try/except labels and try scope leaking

joehendrix
and
claude
committed
Update test_nested_try and test_try_scope expectations to success

joehendrix
and
claude
committed
fix type checking bugs

thanhnguyen-aws
authored and
joehendrix
committed
Add regression tests for unsupported Python constructs and type errors

joehendrix
and
claude
committed
Implement 8 translation fixes for unsupported Python constructs

joehendrix
and
claude
committed
Add import handling with moduleAliases and fix while loop hoisting

joehendrix
and
claude
committed
Implement InstanceCall translation and Any-typed PySpec procedures

joehendrix
and
claude
committed
Fix void procedure assignment and rebase cleanup

joehendrix
and
claude
committed
Update ToLaurelTest guard_msgs expectations for Any-typed PySpec signatures

joehendrix
and
claude
committed
Validate preconditions in ToLaurelTest and reuse LaurelFormat formatters

joehendrix
and
claude
committed
Generate type-aware preconditions with disjunctions for optional types

joehendrix
and
claude
committed
Refactor funcDeclToLaurel to single-pass loop over args

joehendrix
and
claude
committed

Commits on Mar 20, 2026

Add regression tests for 7 remaining failure categories

joehendrix
and
claude
committed