Commit Graph

12 Commits

Author SHA1 Message Date
4baeaff705 Add rest of typechecking 2026-04-13 18:26:47 +03:00
d6b730945c Check binops 2026-04-13 18:17:33 +03:00
e3e0cd9f9f Check return type as well 2026-04-13 17:25:36 +03:00
3f4b8569ea Fix bug with parameter typechecking 2026-04-13 17:23:53 +03:00
185f25d412 Typecheck parameter types 2026-04-13 17:21:07 +03:00
a901806dfb Add a function to test if types are equal 2026-04-13 17:09:50 +03:00
8ec4e538f5 Fix a bug, add type kind 2026-04-13 16:56:33 +03:00
cf965dd47a Fix some bugs 2026-04-13 16:50:29 +03:00
85dbce112f Fill typechecking methods 2026-04-13 01:08:34 +03:00
d11da4d1e6 Make expressions return type on typecheck 2026-04-13 00:55:38 +03:00
902610aaea Add statement typecheckings 2026-04-13 00:54:14 +03:00
e45f120f1c Add typecheck-functions to AST 2026-04-13 00:35:14 +03:00