|
|
316500484a
|
Merge branch 'master' into type-checker
|
2025-02-07 00:24:06 +00:00 |
|
|
|
bc5f28ab52
|
fix: disallow unknown type assignments and reads
|
2025-02-07 00:23:41 +00:00 |
|
|
|
277d2f66af
|
fix: check function calls have correct number of args
|
2025-02-07 00:09:10 +00:00 |
|
|
|
e57c89beec
|
fix: extract retType from KnownType.Func when type-checking function bodies
|
2025-02-06 23:59:13 +00:00 |
|
|
|
f6e734937f
|
feat: implement satisfies function in type checker
Co-Authored-By: jt2622
|
2025-02-06 21:04:27 +00:00 |
|
|
|
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 |
|
