[TypeChecker] Implement type checking for server statements and pattern definitions - #383

Merged

logbie merged 7 commits into

mainfrom

fix-typechecker-todos-17688715437332225663

Mar 1, 2026

Commits on Mar 1, 2026

Implement type checking for server statements and pattern definitions\n\n- Add `check_pattern_expression_types` to type-check `PatternExpression` AST nodes, specifically resolving and verifying `Li…

google-labs-jules[bot]
and
logbie
committed
587f767
Fix cargo fmt errors in tests\n\nRun cargo fmt to ensure `src/typechecker/mod.rs` passes formatting checks.

google-labs-jules[bot]
and
logbie
committed
806f40c
Address PR comments on typechecker implementation\n\n- Fix lexical scoping for pattern list references to support action scope.\n- Enforce pattern list element-type constraints (`List<Text>`, `Unkn…

google-labs-jules[bot]
and
logbie
committed
b8ce3f4
Merge branch 'main' into fix-typechecker-todos-17688715437332225663
logbie
authored
ed7ed92
Fix pattern list-reference lexical scoping and add constraint tests\n\n- Move pattern list-reference existence check from `TypeChecker` to `Analyzer` so local scope variables inside actions are res…

google-labs-jules[bot]
and
logbie
committed
a0b3e71
Align list-reference scoping with standard variable rules\n\n- Fix regression of #382 parameter logic and version metadata from outdated branch sync.\n- Replace ad-hoc local scope fallback in `Type…

google-labs-jules[bot]
and
logbie
committed
dd7e0ae
Enforce strict type constraints in type checker logic\n\n- Remove `Type::Unknown` and `Type::Error` fallbacks from `TypeChecker`'s pattern list references, `server`, and `timeout` expressions to en…

google-labs-jules[bot]
and
logbie
committed
f669a73