From 7eb1e13b706addd0b99d8dbdf70157bbf5c0e508 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Sun, 31 May 2026 18:45:25 +0200 Subject: [PATCH] fix(cli): add cast visitor method to highlighter --- midas/cli/highlighter.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/midas/cli/highlighter.py b/midas/cli/highlighter.py index 36aed8d..9b24259 100644 --- a/midas/cli/highlighter.py +++ b/midas/cli/highlighter.py @@ -173,6 +173,8 @@ class PythonHighlighter( def visit_set_expr(self, expr: p.SetExpr) -> None: ... + def visit_cast_expr(self, expr: p.CastExpr) -> None: ... + class MidasHighlighter(Highlighter, m.Stmt.Visitor[None], m.Expr.Visitor[None]): EXTRA_CSS_PATH: Optional[Path] = Path(__file__).parent / "hl_midas.css"