Minor fixes and more tests #38

2026-07-09T20:19:24Z

HEL commented

2026-07-09 20:19:24 +00:00

This PR implements some small fixes and adds a few tests to hopefully cover all Midas and Python syntax, as well as more type checking and generation cases

HEL self-assigned this 2026-07-09 20:19:24 +00:00

HEL added 12 commits 2026-07-09 20:19:25 +00:00

fix(checker): avoid raising on unknown variable 44984af8a3

when an unknown variable is referenced, avoid raising an error and only report it with a diagnostic, returning `UnknownType` instead

fix(checker): adjust error message location a7b62e752b

when constraint doesn't evaluate to a boolean, report error on the constraint expression instead of the whole type

fix(checker): type check none literal 7a021b2450

fix(checker): always type check unary operand ad40db98d0

tests: add test for all Midas syntaxes b67c940112

tests: add test for all supported Python syntaxes 44963db425

tests: add custom JSON encoder to for checker output f41dbb528c

fix: add final decorator to Visitor subclasses 88ab9dc14d

fix: implement missing methods on printer and highlighter a9a3164c24

tests: add test covering some function subtyping rules 74472c974b

tests: add generator test for simple syntax 309e1d4a5b

tests: add frame constraint generation test

Tests / tests (pull_request) Successful in 6s

Details

2b09a29165

HEL merged commit 34072de270 into main

2026-07-09 20:19:43 +00:00

HEL deleted branch feat/add-tests

2026-07-09 20:19:43 +00:00

HEL referenced this issue from a commit

2026-07-09 20:19:44 +00:00

Merge pull request 'Minor fixes and more tests' (#38) from feat/add-tests into main

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#38