Add type checking to Laurel resolution pass#1121

Draft

keyboardDrummer-bot wants to merge 134 commits into

main2from

keyboardDrummer-bot/issue-1120-type-checking

Commits on May 5, 2026

Add type checking to Laurel resolution pass
keyboardDrummer-bot
committed
Fix type checking: skip TCore types in assignability check
keyboardDrummer-bot
committed
Simplify assignment arity check to use valueTy directly
keyboardDrummer-bot
committed
Add tests for type checking error diagnostics in resolution pass
keyboardDrummer-bot
committed
Add multi-output procedure in expression position check and test
keyboardDrummer-bot
committed
Remove checkSingleValued; let type checks report multi-output errors naturally
keyboardDrummer-bot
committed

Commits on May 6, 2026

Address review feedback: symmetric Eq/Neq errors, extract helper, consolidate tests
keyboardDrummer-bot
committed

Commits on May 15, 2026

Commits on May 19, 2026

Commits on May 20, 2026