HEL/midas
1
0
Fork 0
Code Issues Pull Requests 1 Releases Activity

fix(cli): add cast visitor method to highlighter

Browse Source
This commit is contained in:
Louis Heredero
2026-05-31 18:45:25 +02:00
parent 893e1ba190
commit 7eb1e13b70
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
midas/cli/highlighter.py
View File

@@ -173,6 +173,8 @@ class PythonHighlighter(
def visit_set_expr(self, expr: p.SetExpr) -> None: ... 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]): class MidasHighlighter(Highlighter, m.Stmt.Visitor[None], m.Expr.Visitor[None]):
EXTRA_CSS_PATH: Optional[Path] = Path(__file__).parent / "hl_midas.css" EXTRA_CSS_PATH: Optional[Path] = Path(__file__).parent / "hl_midas.css"