Constraint types #15

HEL · 2026-06-19T20:20:31Z

HEL commented

2026-06-19 20:20:31 +00:00

This PR implements constraint types, both in the types ecosystem and as generated runtime assertions.
For the approach is quite naive in that:

predicate definition is restricted to a subset of Python that is manually parsed (with many redundant parts from PythonParser copied over to MidasParser, for example to resolve function calls)
subtyping only checks the base type, not the constraints
there is no constraint optimization when combining multiple predicates, nor when generating runtime assertions (e.g. to avoid creating identical functions)
the syntax and grammar for defining predicates is still a bit blurry, especially for parameters. Parameters are technically mixed (positional or keyword), but the underlying structures are the same as for functions, i.e. including positional- and keyword-only parameters, default values, etc.

This PR implements constraint types, both in the types ecosystem and as generated runtime assertions. For the approach is quite naive in that: - predicate definition is restricted to a subset of Python that is manually parsed (with many redundant parts from `PythonParser` copied over to `MidasParser`, for example to resolve function calls) - subtyping only checks the base type, not the constraints - there is no constraint optimization when combining multiple predicates, nor when generating runtime assertions (e.g. to avoid creating identical functions) - the syntax and grammar for defining predicates is still a bit blurry, especially for parameters. Parameters are technically mixed (positional or keyword), but the underlying structures are the same as for functions, i.e. including positional- and keyword-only parameters, default values, etc.

HEL self-assigned this 2026-06-19 20:20:31 +00:00

HEL added 26 commits 2026-06-19 20:20:41 +00:00

refactor: add param spec for FunctionType 2a106c5d07

feat(midas): add CallExpr c513a85cf2

feat(midas): generalize param spec of predicate and parse ca94443699

fix(tests): correctly serialize param name 7efc44c496

tests: update with new predicate AST representation 3380995082

refactor: ensure exhaustiveness in some match/case d07e8ac0ca

feat(types): add ConstraintType c5154bde81

feat(gen): generate basic constraint assertion 5fc7461e29

feat(gen): generate predicate functions 2523d638f7

fix(tests): update generator tester 6b4c7d27bc

fix(gen): remove id from named predicate function 1b100b6ceb

feat(checker): type check predicate body 6aacdb98b7

feat(types): detect constraint base subtyping 92ca6b6732

fix(parser): fix call expr location span 2974386110

feat(gen): handle predicate aliases 657406ea01

handle cases where a predicate is defined as an alias, i.e. without any parameters

feat(gen): generate type hints for functions eb5bf19c61

fix(checker): change some diagnostics to warnings 2a7aac69ed

temporarily change type errors in predicates to warnings until operations are fully type checked

fix(checker): typo in docstring e6a581ba6e

feat(cli): print predicate with dump-registry 6a87b5396f

fix(checker): lookup predicate variables in preamble 43d2118db7

fix(checker): handle all operations and calls in predicates 8461d05fa6

fix(parser): correctly parse keyword arguments 7695d50537

feat(parser): parse strings in Midas files db8d88ef35

fix(checker) minor tweaks 1f0bcab2ca

tests: add predicates and constraints test 0aba134290

fix(checker): change back warning to errors 3205e7b961

HEL force-pushed feat/constraint-type from 776a3fb86c to 3205e7b961

2026-06-19 20:20:41 +00:00

Compare

HEL merged commit 6eea0c02e0 into main

2026-06-19 20:21:04 +00:00

HEL deleted branch feat/constraint-type

2026-06-19 20:21:04 +00:00

HEL referenced this issue from a commit

2026-06-19 20:21:04 +00:00

Merge pull request 'Constraint types' (#15) from feat/constraint-type into main

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#15