LordBaryhobal 86ba4e658a refactor(checker): restructure around shared registry ...

restructure the type checker with a shared TypesRegistry used by MidasTyper and PythonTyper

this commit also relocates some methods in more appropriate places, such as is_subtype and apply_generic (now in TypesRegistry)

2026-06-08 13:41:42 +02:00

..

cases

tests: update tests with operation overloads

2026-06-07 14:28:36 +02:00

serializer

fix: remove unused SetExpr

2026-06-07 17:48:31 +02:00

base.py

feat(tests): add judgements to test results

2026-06-06 16:58:13 +02:00

checker.py

refactor(checker): restructure around shared registry

2026-06-08 13:41:42 +02:00

midas.py

tests: move midas parser tests in subfolder

2026-05-29 18:39:25 +02:00

python.py

tests: add python parser tester

2026-05-29 18:44:53 +02:00