HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 3 Activity

Improve syntax and types #5

Merged
HEL merged 22 commits from feat/improve-syntax-and-types into feat/basic-type-checker 2026-06-05 09:20:56 +00:00
Conversation 0 Commits 22 Files Changed 31
+1119 -881
22 Commits
Author SHA1 Message Date
HEL ddcaebb51a fix: remove outdated syntax definition 2026-06-05 11:19:29 +02:00
HEL f182312cd2 fix: update midas syntax definitions 2026-06-05 11:14:53 +02:00
HEL 73b21789d5 fix(tests): remove custom imports 2026-06-05 10:48:46 +02:00
HEL 5d7c724bc8 fix(cli): add types files argument 2026-06-05 10:44:20 +02:00
HEL 74b297c89c feat(checker): remove custom midas import 
remove custom import statement (`midas.using`) in favor of passing type definition files as arguments to the checker
 2026-06-05 10:43:52 +02:00
HEL 822a74acce refactor(checker): rename methods 
improve a couple methods names, namely evaluate → type_of and evaluate_block → process_block
 2026-06-03 13:03:41 +02:00
HEL 9a934fabfd tests: remove union type 2026-06-02 17:22:19 +02:00
HEL 828ec9a3fa fix!: remove union type 2026-06-02 17:19:17 +02:00
HEL 63a43d79dd chore: update examples 2026-06-02 13:07:53 +02:00
HEL 029caf4526 fix(tests): update tests with new syntax 2026-06-02 13:05:38 +02:00
HEL 1c5c418f1c fix(tests): serialize ternary expressions 2026-06-02 13:05:06 +02:00
HEL a4139d4652 feat(checker): handle logical expressions 2026-06-02 13:03:07 +02:00
HEL 2fd2071d40 feat(parser): parse pass statement and None 2026-06-02 13:02:45 +02:00
HEL 97b1ee8ab8 feat(cli): add format command 2026-06-02 13:00:43 +02:00
HEL dee479def5 fix(checker): wrap type definitions in AliasType 2026-06-02 13:00:03 +02:00
HEL c8536e20d2 feat(tests): update Midas serializer 2026-06-02 12:38:58 +02:00
HEL d70137775f feat(cli): update highlighter with new nodes 2026-06-02 12:29:39 +02:00
HEL 35ceda99aa chore: tidy 2026-06-02 11:45:49 +02:00
HEL 7f3d74ee49 feat(checker)!: resolve new types 2026-06-02 11:44:31 +02:00
HEL b9f378de6f feat(parser)!: update Midas parser with new nodes 2026-06-02 11:42:35 +02:00
HEL ccb17c7290 feat(parser)!: add new Midas AST nodes 2026-06-02 11:41:53 +02:00
HEL 505779310a feat: add new midas syntax example 2026-06-02 11:40:42 +02:00