Imperial-MEng/WACC_37
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: microwacc type checker implementation #22

Merged
gk1623 merged 3 commits from microwacc-type-checker-implementation into master 2025-02-18 17:29:11 +00:00
Conversation 1 Commits 3 Files Changed 3 +297 -148

3 Commits

Author SHA1 Message Date
Gleb Koval
27cc25cc0d feat: type-checker returns micro wacc 2025-02-17 15:26:32 +00:00
Gleb Koval
b7e442b269 refactor: introduce exit-code guard against InternalError 2025-02-14 00:35:57 +00:00
Gleb Koval
756b42dd72 refactor: remove implicit ast from type checker 2025-02-14 00:35:57 +00:00