|
|
2b09a29165
|
tests: add frame constraint generation test
Tests / tests (pull_request) Successful in 6s
|
2026-07-09 22:16:28 +02:00 |
|
|
|
309e1d4a5b
|
tests: add generator test for simple syntax
|
2026-07-09 22:04:39 +02:00 |
|
|
|
74472c974b
|
tests: add test covering some function subtyping rules
|
2026-07-09 21:58:51 +02:00 |
|
|
|
a9a3164c24
|
fix: implement missing methods on printer and highlighter
|
2026-07-09 18:57:26 +02:00 |
|
|
|
88ab9dc14d
|
fix: add final decorator to Visitor subclasses
|
2026-07-09 18:30:06 +02:00 |
|
|
|
f41dbb528c
|
tests: add custom JSON encoder to for checker output
|
2026-07-09 18:27:51 +02:00 |
|
|
|
44963db425
|
tests: add test for all supported Python syntaxes
|
2026-07-09 17:59:20 +02:00 |
|
|
|
b67c940112
|
tests: add test for all Midas syntaxes
|
2026-07-09 17:47:18 +02:00 |
|
|
|
ad40db98d0
|
fix(checker): always type check unary operand
|
2026-07-09 17:46:52 +02:00 |
|
|
|
7a021b2450
|
fix(checker): type check none literal
|
2026-07-09 17:39:11 +02:00 |
|
|
|
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 |
|
|
|
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 |
|
