|
|
bd1c9581c7
|
fix(checker): use dispatcher in frame method registry
|
2026-07-01 14:17:10 +02:00 |
|
|
|
663642ea6c
|
fix(tests): serialize alias statements
|
2026-07-01 14:13:27 +02:00 |
|
|
|
e2abc04fe4
|
feat(checker): define min/max in preamble
|
2026-07-01 14:10:19 +02:00 |
|
|
|
a4016b55ce
|
feat(checker): handle calls to AppliedType
|
2026-07-01 14:10:19 +02:00 |
|
|
|
1ea5da7024
|
feat(parser): parse binary operations in Midas
|
2026-07-01 14:10:18 +02:00 |
|
|
|
a017a8cf1f
|
feat(checker): catch errors when evaluating constraint
|
2026-07-01 14:10:17 +02:00 |
|
|
|
8fc5ab623e
|
feat(checker): evaluate literal cast to list/dict
|
2026-07-01 14:10:16 +02:00 |
|
|
|
14007db846
|
feat(checker): evaluate unary op on literals
|
2026-07-01 14:10:15 +02:00 |
|
|
|
6ad2ce4b68
|
feat(checker): improve function unwrapping
|
2026-07-01 14:10:15 +02:00 |
|
|
|
9a276c34c7
|
refactor: reuse CallDispatcher
|
2026-07-01 11:32:41 +02:00 |
|
|
|
6e717a3f9e
|
refactor: use CallDispatcher in Midas typer
|
2026-07-01 11:24:09 +02:00 |
|
|
|
77aadfa264
|
refactor: extract function call methods to CallDispatcher
|
2026-07-01 11:14:08 +02:00 |
|
