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

Cast assertions and generator tests #12

Merged
HEL merged 9 commits from feat/cast-assertions into main 2026-06-16 12:57:49 +00:00
Conversation 0 Commits 9 Files Changed 19
+572 -28
9 Commits
Author SHA1 Message Date
HEL 2a8b7d559c tests: add simple gen test 2026-06-16 14:56:59 +02:00
HEL da38cad23d feat(tests): add generator tester 2026-06-16 14:56:59 +02:00
HEL 591012d059 fix(checker): allow calling AppliedType and UnknownType 2026-06-16 14:56:58 +02:00
HEL 4b1087d6b9 fix(cli): improve dump-registry command output 2026-06-16 14:56:57 +02:00
HEL 732f7b0796 feat(checker): add environment preamble 
this adds some builtin functions such as the builtin type constructors
 2026-06-16 14:56:56 +02:00
HEL c4062c9595 fix(checker): allow inferred return to be subtype of hint 2026-06-16 14:56:47 +02:00
HEL c3229b557c feat(gen): add basic cast assertions on base type 2026-06-16 12:49:36 +02:00
HEL 0a8e0fb6c2 feat(checker): handle raw expr/stmt 2026-06-16 10:39:26 +02:00
HEL 61514d036c feat(passer): add raw statements and expressions 2026-06-16 10:38:09 +02:00