LordBaryhobal 70ce263ea2 feat(gen): skip assertions for evaluated casts ...

avoid generating a runtime assertion for a cast which has already been checked statically

2026-06-24 11:28:43 +02:00

..

builtins.midas

feat(checker): type check dictionaries

2026-06-16 20:40:10 +02:00

builtins.py

feat(checker): evaluate constraints statically on literals

2026-06-24 11:10:09 +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

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

midas.py

fix(checker): store member kind in registry

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

operators.py

fix(checker) minor tweaks

2026-06-19 22:13:09 +02:00

preamble.py

feat(checker): store builtin python functions in preamble

2026-06-24 11:05:36 +02:00

python.py

feat(gen): skip assertions for evaluated casts

2026-06-24 11:28:43 +02:00

registry.py

fix(checker): lookup member on typevar bound

2026-06-23 00:24:37 +02:00

reporter.py

feat(checker): add debug diagnostics

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

resolver.py

feat(checker): type check dictionaries

2026-06-16 20:40:10 +02:00

types.py

fix(checker): allow substitutyping type vars in GenericType and TopType

2026-06-20 17:10:23 +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