|
|
3205e7b961
|
fix(checker): change back warning to errors
|
2026-06-19 22:13:10 +02:00 |
|
|
|
0aba134290
|
tests: add predicates and constraints test
|
2026-06-19 22:13:10 +02:00 |
|
|
|
1f0bcab2ca
|
fix(checker) minor tweaks
|
2026-06-19 22:13:09 +02:00 |
|
|
|
db8d88ef35
|
feat(parser): parse strings in Midas files
|
2026-06-19 22:13:09 +02:00 |
|
|
|
7695d50537
|
fix(parser): correctly parse keyword arguments
|
2026-06-19 22:13:08 +02:00 |
|
|
|
8461d05fa6
|
fix(checker): handle all operations and calls in predicates
|
2026-06-19 22:13:08 +02:00 |
|
|
|
43d2118db7
|
fix(checker): lookup predicate variables in preamble
|
2026-06-19 22:13:07 +02:00 |
|
|
|
6a87b5396f
|
feat(cli): print predicate with dump-registry
|
2026-06-19 22:13:07 +02:00 |
|
|
|
e6a581ba6e
|
fix(checker): typo in docstring
|
2026-06-19 22:13:07 +02:00 |
|
|
|
2a7aac69ed
|
fix(checker): change some diagnostics to warnings
temporarily change type errors in predicates to warnings until operations are fully type checked
|
2026-06-19 22:13:06 +02:00 |
|
|
|
eb5bf19c61
|
feat(gen): generate type hints for functions
|
2026-06-19 22:13:06 +02:00 |
|
|
|
657406ea01
|
feat(gen): handle predicate aliases
handle cases where a predicate is defined as an alias, i.e. without any parameters
|
2026-06-19 22:13:05 +02:00 |
|
|
|
2974386110
|
fix(parser): fix call expr location span
|
2026-06-19 22:13:05 +02:00 |
|
|
|
92ca6b6732
|
feat(types): detect constraint base subtyping
|
2026-06-19 22:13:04 +02:00 |
|
|
|
6aacdb98b7
|
feat(checker): type check predicate body
|
2026-06-19 22:13:04 +02:00 |
|
|
|
1b100b6ceb
|
fix(gen): remove id from named predicate function
|
2026-06-19 22:13:03 +02:00 |
|
|
|
6b4c7d27bc
|
fix(tests): update generator tester
|
2026-06-19 22:13:03 +02:00 |
|
|
|
2523d638f7
|
feat(gen): generate predicate functions
|
2026-06-19 22:13:02 +02:00 |
|
|
|
5fc7461e29
|
feat(gen): generate basic constraint assertion
|
2026-06-19 22:13:02 +02:00 |
|
|
|
c5154bde81
|
feat(types): add ConstraintType
|
2026-06-19 22:13:02 +02:00 |
|
|
|
d07e8ac0ca
|
refactor: ensure exhaustiveness in some match/case
|
2026-06-19 22:13:01 +02:00 |
|
|
|
3380995082
|
tests: update with new predicate AST representation
|
2026-06-19 22:13:01 +02:00 |
|
|
|
7efc44c496
|
fix(tests): correctly serialize param name
|
2026-06-19 22:13:00 +02:00 |
|
|
|
ca94443699
|
feat(midas): generalize param spec of predicate and parse
|
2026-06-19 22:12:59 +02:00 |
|
|
|
c513a85cf2
|
feat(midas): add CallExpr
|
2026-06-19 22:12:59 +02:00 |
|
|
|
2a106c5d07
|
refactor: add param spec for FunctionType
|
2026-06-19 22:12:58 +02:00 |
|
