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

Minor fixes and more tests #38

Merged
HEL merged 12 commits from feat/add-tests into main 2026-07-09 20:19:43 +00:00
Conversation 0 Commits 12 Files Changed 25
+6499 -23
12 Commits
Author SHA1 Message Date
HEL 2b09a29165 tests: add frame constraint generation test
Tests / tests (pull_request) Successful in 6s
Details
2026-07-09 22:16:28 +02:00
HEL 309e1d4a5b tests: add generator test for simple syntax 2026-07-09 22:04:39 +02:00
HEL 74472c974b tests: add test covering some function subtyping rules 2026-07-09 21:58:51 +02:00
HEL a9a3164c24 fix: implement missing methods on printer and highlighter 2026-07-09 18:57:26 +02:00
HEL 88ab9dc14d fix: add final decorator to Visitor subclasses 2026-07-09 18:30:06 +02:00
HEL f41dbb528c tests: add custom JSON encoder to for checker output 2026-07-09 18:27:51 +02:00
HEL 44963db425 tests: add test for all supported Python syntaxes 2026-07-09 17:59:20 +02:00
HEL b67c940112 tests: add test for all Midas syntaxes 2026-07-09 17:47:18 +02:00
HEL ad40db98d0 fix(checker): always type check unary operand 2026-07-09 17:46:52 +02:00
HEL 7a021b2450 fix(checker): type check none literal 2026-07-09 17:39:11 +02:00
HEL a7b62e752b fix(checker): adjust error message location 
when constraint doesn't evaluate to a boolean, report error on the constraint expression instead of the whole type
 2026-07-09 17:38:53 +02:00
HEL 44984af8a3 fix(checker): avoid raising on unknown variable 
when an unknown variable is referenced, avoid raising an error and only report it with a diagnostic, returning `UnknownType` instead
 2026-07-09 17:37:49 +02:00