Implement type checking for expressions and statements (Project 4) - #3

Draft

wuzhi456 with Copilot wants to merge 9 commits into

my-project4from

copilot/type-check-semantic-analysis

Commits on Nov 24, 2025

Initial plan
Copilot
committed
78b14c3
Initial commit: Current state only handles Project 3

Copilot
and
wuzhi456
committed
b6c4611
Implement complete type checking for Project 4

Copilot
and
wuzhi456
committed
60ee4be
Address code review feedback and finalize implementation

Copilot
and
wuzhi456
committed
5b3fc7d

Commits on Nov 26, 2025

Fix support for comma-separated variable declarations (int *p1, *p2;)

Copilot
and
wuzhi456
committed
c86ae84

Commits on Nov 27, 2025

Fix structure tag scope to always be file scope per C standard

Copilot
and
wuzhi456
committed
cb0ad24
Revert grammar to original (no comma-separated variable declarations)

Copilot
and
wuzhi456
committed
11d1c4a
Fix local variable initialization to use unmatchedTypeForBinaryOP for type errors

Copilot
and
wuzhi456
committed
6172f6d
Add type checking for global variable initialization

Copilot
and
wuzhi456
committed
eb97c95