HEL e37432ad57 fix(checker): correct return type for column aggregation

2026-07-24 00:03:26 +02:00

..

frames

fix(checker): correct return type for column aggregation

2026-07-24 00:03:26 +02:00

builtins.midas

feat(checker): add methods on str

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

builtins.py

docs: fix some docstrings

2026-07-09 15:56:56 +02:00

checker.py

docs: add some docstrings

2026-07-03 17:36:45 +02:00

diagnostic.py

docs: add docstrings for most files in checker module

2026-07-05 23:54:03 +02:00

dispatcher.py

docs: fix some docstrings

2026-07-09 15:56:56 +02:00

environment.py

feat(cli): dump environment after compile

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

evaluator.py

fix: add final decorator to Visitor subclasses

2026-07-09 18:30:06 +02:00

midas.py

fix(checker): handle already defined predicates

2026-07-10 11:20:39 +02:00

operators.py

feat(parser): parse binary operations in Midas

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

preamble.py

fix: add __name__ to preamble

2026-07-06 15:28:10 +02:00

python.py

fix(checker): better handle invalid generic instantiation

2026-07-10 11:23:29 +02:00

registry.py

fix(checker): fix function subtyping logic

2026-07-09 12:32:51 +02:00

reporter.py

docs: fix some docstrings

2026-07-09 15:56:56 +02:00

resolver.py

fix(resolver): check undefined varaible in parent scopes

2026-07-19 15:51:46 +02:00

types.py

fix(checker): remove redundant match case

2026-07-10 11:30:10 +02:00

unifier.py

docs: add docstrings for most files in checker module

2026-07-05 23:54:03 +02:00

variance.py

feat(checker): add variance manager to improve recursive types

2026-07-09 00:02:25 +02:00