Type check binary expressions

2024-05-28 23:39:04 +02:00
parent 0f2ac834ed
commit 68149be998
10 changed files with 158 additions and 11 deletions
--- a/2
+++ b/2
@ -13,3 +13,5 @@
 - Error message with an empty file wrongly says that a ")" is expected.
 - Support any expressions for constants.
 - Name analysis should fail if there are undefined symbols.
+- type_mismatch error should get second type argument for the
+  expected type.