HEL/midas
1
0
Fork 0
Code Issues Pull Requests 1 Releases 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
HEL commented 2026-06-05 09:20:16 +00:00
Owner
Copy Link

This PR improves the Midas syntax for better unification and consistency. It also add several AST nodes to better define different kinds of types

This PR improves the Midas syntax for better unification and consistency. It also add several AST nodes to better define different kinds of types
HEL self-assigned this 2026-06-05 09:20:16 +00:00
HEL added 22 commits 2026-06-05 09:20:16 +00:00
feat: add new midas syntax example 505779310a
feat(parser)!: add new Midas AST nodes ccb17c7290
feat(parser)!: update Midas parser with new nodes b9f378de6f
feat(checker)!: resolve new types 7f3d74ee49
chore: tidy 35ceda99aa
feat(cli): update highlighter with new nodes d70137775f
feat(tests): update Midas serializer c8536e20d2
fix(checker): wrap type definitions in AliasType dee479def5
feat(cli): add format command 97b1ee8ab8
feat(parser): parse pass statement and None 2fd2071d40
feat(checker): handle logical expressions a4139d4652
fix(tests): serialize ternary expressions 1c5c418f1c
fix(tests): update tests with new syntax 029caf4526
chore: update examples 63a43d79dd
fix!: remove union type 828ec9a3fa
tests: remove union type 9a934fabfd
refactor(checker): rename methods 822a74acce 
improve a couple methods names, namely evaluate → type_of and evaluate_block → process_block
feat(checker): remove custom midas import 74b297c89c 
remove custom import statement (`midas.using`) in favor of passing type definition files as arguments to the checker
fix(cli): add types files argument 5d7c724bc8
fix(tests): remove custom imports 73b21789d5
fix: update midas syntax definitions f182312cd2
fix: remove outdated syntax definition ddcaebb51a
HEL merged commit 19b9fdd623 into feat/basic-type-checker 2026-06-05 09:20:56 +00:00
HEL deleted branch feat/improve-syntax-and-types 2026-06-05 09:20:56 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
HEL
No Assignees HEL
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: HEL/midas#5
Delete Branch "feat/improve-syntax-and-types"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?