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

feat: full type checker without user-friendly error messages #11

Merged
gk1623 merged 7 commits from type-checker into master 2025-02-07 08:20:43 +00:00
Conversation 1 Commits 7 Files Changed 6
+371 -77
7 Commits
Author SHA1 Message Date
cyclane 316500484a Merge branch 'master' into type-checker 2025-02-07 00:24:06 +00:00
cyclane bc5f28ab52 fix: disallow unknown type assignments and reads 2025-02-07 00:23:41 +00:00
cyclane 277d2f66af fix: check function calls have correct number of args 2025-02-07 00:09:10 +00:00
cyclane e57c89beec fix: extract retType from KnownType.Func when type-checking function bodies 2025-02-06 23:59:13 +00:00
cyclaneandjt2622 f6e734937f feat: implement satisfies function in type checker 
Co-Authored-By: jt2622
 2025-02-06 21:04:27 +00:00
cyclaneandjt2622 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