HEL 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

..

__init__.py

feat(cli): add basic CLI entrypoint

2026-05-22 11:09:54 +02:00

ansi.py

feat(cli): improve diagnostic printing

2026-06-07 13:42:15 +02:00

highlight.css

feat(cli): update highlighter with new nodes

2026-06-02 12:29:39 +02:00

highlighter.py

fix: remove unused SetExpr

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

hl_diagnostic.css

fix(cli): improve diagnostic message popup

2026-06-01 14:48:24 +02:00

hl_midas.css

fix!: remove union type

2026-06-02 17:19:17 +02:00

hl_python.css

feat(cli): add midas highlighter

2026-05-25 12:14:55 +02:00

main.py

refactor(checker): restructure around shared registry

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