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

Constraint types #15

Merged
HEL merged 26 commits from feat/constraint-type into main 2026-06-19 20:21:04 +00:00
Conversation 0 Commits 26 Files Changed 23
+1747 -205
26 Commits
Author SHA1 Message Date
HEL 3205e7b961 fix(checker): change back warning to errors 2026-06-19 22:13:10 +02:00
HEL 0aba134290 tests: add predicates and constraints test 2026-06-19 22:13:10 +02:00
HEL 1f0bcab2ca fix(checker) minor tweaks 2026-06-19 22:13:09 +02:00
HEL db8d88ef35 feat(parser): parse strings in Midas files 2026-06-19 22:13:09 +02:00
HEL 7695d50537 fix(parser): correctly parse keyword arguments 2026-06-19 22:13:08 +02:00
HEL 8461d05fa6 fix(checker): handle all operations and calls in predicates 2026-06-19 22:13:08 +02:00
HEL 43d2118db7 fix(checker): lookup predicate variables in preamble 2026-06-19 22:13:07 +02:00
HEL 6a87b5396f feat(cli): print predicate with dump-registry 2026-06-19 22:13:07 +02:00
HEL e6a581ba6e fix(checker): typo in docstring 2026-06-19 22:13:07 +02:00
HEL 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
HEL eb5bf19c61 feat(gen): generate type hints for functions 2026-06-19 22:13:06 +02:00
HEL 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
HEL 2974386110 fix(parser): fix call expr location span 2026-06-19 22:13:05 +02:00
HEL 92ca6b6732 feat(types): detect constraint base subtyping 2026-06-19 22:13:04 +02:00
HEL 6aacdb98b7 feat(checker): type check predicate body 2026-06-19 22:13:04 +02:00
HEL 1b100b6ceb fix(gen): remove id from named predicate function 2026-06-19 22:13:03 +02:00
HEL 6b4c7d27bc fix(tests): update generator tester 2026-06-19 22:13:03 +02:00
HEL 2523d638f7 feat(gen): generate predicate functions 2026-06-19 22:13:02 +02:00
HEL 5fc7461e29 feat(gen): generate basic constraint assertion 2026-06-19 22:13:02 +02:00
HEL c5154bde81 feat(types): add ConstraintType 2026-06-19 22:13:02 +02:00
HEL d07e8ac0ca refactor: ensure exhaustiveness in some match/case 2026-06-19 22:13:01 +02:00
HEL 3380995082 tests: update with new predicate AST representation 2026-06-19 22:13:01 +02:00
HEL 7efc44c496 fix(tests): correctly serialize param name 2026-06-19 22:13:00 +02:00
HEL ca94443699 feat(midas): generalize param spec of predicate and parse 2026-06-19 22:12:59 +02:00
HEL c513a85cf2 feat(midas): add CallExpr 2026-06-19 22:12:59 +02:00
HEL 2a106c5d07 refactor: add param spec for FunctionType 2026-06-19 22:12:58 +02:00