Sam Vervaeck
4251c6eeaf
Make type checker produce first sane results
2020-05-29 20:33:04 +02:00
Sam Vervaeck
c2d101c25c
Major update to code and type checker
2020-05-29 18:44:58 +02:00
Sam Vervaeck
884be8f9ec
Small fixes and major enhancements to TypeChecker
2020-05-28 14:08:49 +02:00
Sam Vervaeck
ce8c0aa7a1
Fix symbol resolution and error handling
2020-05-27 20:59:45 +02:00
Sam Vervaeck
05b024c3f4
Update code base
...
- Fix some issues in the parser and the AST spec
- Fix invalid union types emitted by treegen
- Fix and extend the Evaluator a bit
- Swich API of type checker and make it store checking errors
on the Syntax object itself
2020-05-27 19:57:15 +02:00
Sam Vervaeck
7afcc95af4
src/diagnostics.ts: Some fixes and better diagnostic printing
2020-05-26 08:39:46 +02:00
Sam Vervaeck
e0566233c0
Improve symbol resolution algorithms in type checker
2020-05-25 15:52:19 +02:00
Sam Vervaeck
17d91ef36c
Add initial support for packages and imports
2020-05-25 11:29:51 +02:00
Sam Vervaeck
9ef9ef82d6
src/diagnostics.ts: Improve empty character handling in snippet printer
2020-05-24 11:00:40 +02:00
Sam Vervaeck
aa1893918b
src/diagnostics.ts: Add column number to messages
2020-05-23 22:52:00 +02:00
Sam Vervaeck
2b5819ab52
Fix errors in src/diagnostics.ts
2020-05-23 22:49:20 +02:00
Sam Vervaeck
846536023d
Import source code printer for diagnostic messages
2020-05-23 22:49:06 +02:00
Sam Vervaeck
2a873484c4
Extend the type checker to support function calls
2020-05-23 22:23:44 +02:00
Sam Vervaeck
32a9d288de
Re-write the type-checker to make it more extensible
2020-05-23 21:15:20 +02:00
