LordBaryhobal a5fe985eb2 feat(checker): add methods on str

2026-07-01 10:16:08 +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

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

feat(checker): process frame type definitions

2026-07-01 10:14:48 +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

fix(checker): allow iterating on unknown

2026-07-01 10:16:05 +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(checker): handle setting dataframe column

2026-07-01 10:13:30 +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