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

feat: type checker without satisfies implemented #12

Closed
gc1523 wants to merge 8 commits from master into semantic-error-messages
pull from: master
merge into: Imperial-MEng:semantic-error-messages
Conversation 0 Commits 8 Files Changed 6 +371 -77

8 Commits

Author SHA1 Message Date
Gleb Koval
a635370522 feat: full type checker without user-friendly error messages 
Merge request lab2425_spring/WACC_37!11

Co-authored-by: Jonny <j.sinteix@gmail.com>
 2025-02-07 08:20:42 +00:00
Gleb Koval
316500484a Merge branch 'master' into type-checker 2025-02-07 00:24:06 +00:00
Gleb Koval
bc5f28ab52 fix: disallow unknown type assignments and reads 2025-02-07 00:23:41 +00:00
Gleb Koval
277d2f66af fix: check function calls have correct number of args 2025-02-07 00:09:10 +00:00
Gleb Koval
e57c89beec fix: extract retType from KnownType.Func when type-checking function bodies 2025-02-06 23:59:13 +00:00
Gleb Koval
f6e734937f feat: implement satisfies function in type checker 
Co-Authored-By: jt2622
 2025-02-06 21:04:27 +00:00
Gleb Koval
6548d895d5 feat: type checker without satisfies implemented 
Co-Authored-By: jt2622
 2025-02-06 20:26:15 +00:00
Jonny
88ec08a023 feat: basic type checker skeleton 2025-02-06 17:07:55 +00:00