feat: improve semantic errors #15

Merged

gk1623 merged 5 commits from improve-semantic-errors into master

2025-02-07 15:07:36 +00:00

Author	SHA1	Message	Date
cyclane	ba1b7d67c7	fix: return proper type in non-array index error (instead of `?`)	2025-02-07 14:32:15 +00:00
cyclane	88ddca2b98	feat: do not include `?` type in error messages	2025-02-07 14:24:16 +00:00
cyclane	3430299847	feat: include operator name in type errors	2025-02-07 14:22:36 +00:00
cyclane	319fa606d9	fix: foldLeft when type checking, rather than foldRight which is unintuitive	2025-02-07 14:16:50 +00:00
cyclane	68e4762b37	feat: show expected and got types for TypeMismatch	2025-02-07 14:16:20 +00:00