LordBaryhobal e2abc04fe4 feat(checker): define min/max in preamble

2026-07-01 14:10:19 +02:00

..

builtins.midas

feat(checker): add methods on str

2026-07-01 10:16:08 +02:00

builtins.py

feat(checker): add methods on str

2026-07-01 10:16:08 +02:00

checker.py

feat(checker): make checker return TypedAST

2026-06-15 14:16:10 +02:00

diagnostic.py

feat(checker): add debug diagnostics

2026-06-24 11:07:42 +02:00

dispatcher.py

feat(checker): handle calls to AppliedType

2026-07-01 14:10:19 +02:00

environment.py

feat(cli): dump environment after compile

2026-05-31 18:44:41 +02:00

evaluator.py

feat(checker): add evaluator

2026-06-24 11:08:15 +02:00

frame_methods.py

fix(checker): allow calling unknown method on dataframes

2026-07-01 10:15:16 +02:00

frames.py

refactor: use metaclass to collect frame methods

2026-07-01 10:15:11 +02:00

midas.py

refactor: reuse CallDispatcher

2026-07-01 11:32:41 +02:00

operators.py

feat(parser): parse binary operations in Midas

2026-07-01 14:10:18 +02:00

preamble.py

feat(checker): define min/max in preamble

2026-07-01 14:10:19 +02:00

python.py

feat(checker): catch errors when evaluating constraint

2026-07-01 14:10:17 +02:00

registry.py

feat(checker): type check tuple instantiation in Midas

2026-07-01 10:16:07 +02:00

reporter.py

feat(checker): add debug diagnostics

2026-06-24 11:07:42 +02:00

resolver.py

feat: add Python tuple expression

2026-07-01 10:16:10 +02:00

types.py

feat(types): add TupleType

2026-07-01 10:13:28 +02:00

unifier.py

fix(checker): abort unification on conflict

2026-06-21 13:36:07 +02:00

variance.py

fix(checker): store member kind in registry

2026-06-20 17:10:23 +02:00