diff --git a/gen/python.py b/gen/python.py index 09d21b8..e6d08c9 100644 --- a/gen/python.py +++ b/gen/python.py @@ -128,12 +128,6 @@ class LogicalExpr: right: Expr -class SetExpr: - object: Expr - name: str - value: Expr - - class CastExpr: type: MidasType expr: Expr diff --git a/midas/ast/printer.py b/midas/ast/printer.py index 41dd6a0..f8fb411 100644 --- a/midas/ast/printer.py +++ b/midas/ast/printer.py @@ -602,17 +602,6 @@ class PythonAstPrinter( with self._child_level(single=True): expr.right.accept(self) - def visit_set_expr(self, expr: p.SetExpr) -> None: - self._write_line("SetExpr") - with self._child_level(): - self._write_line("object") - with self._child_level(single=True): - expr.object.accept(self) - self._write_line(f"name: {expr.name}") - self._write_line("value", last=True) - with self._child_level(single=True): - expr.value.accept(self) - def visit_cast_expr(self, expr: p.CastExpr) -> None: self._write_line("CastExpr") with self._child_level(): diff --git a/midas/ast/python.py b/midas/ast/python.py index 8607cd2..dd5d905 100644 --- a/midas/ast/python.py +++ b/midas/ast/python.py @@ -214,9 +214,6 @@ class Expr(ABC): @abstractmethod def visit_logical_expr(self, expr: LogicalExpr) -> T: ... - @abstractmethod - def visit_set_expr(self, expr: SetExpr) -> T: ... - @abstractmethod def visit_cast_expr(self, expr: CastExpr) -> T: ... @@ -298,16 +295,6 @@ class LogicalExpr(Expr): return visitor.visit_logical_expr(self) -@dataclass(frozen=True) -class SetExpr(Expr): - object: Expr - name: str - value: Expr - - def accept(self, visitor: Expr.Visitor[T]) -> T: - return visitor.visit_set_expr(self) - - @dataclass(frozen=True) class CastExpr(Expr): type: MidasType diff --git a/midas/checker/checker.py b/midas/checker/checker.py index ad06b9c..4571ecc 100644 --- a/midas/checker/checker.py +++ b/midas/checker/checker.py @@ -620,8 +620,6 @@ class Checker( ) return UnknownType() - def visit_set_expr(self, expr: p.SetExpr) -> Type: ... - def visit_cast_expr(self, expr: p.CastExpr) -> Type: return expr.type.accept(self) diff --git a/midas/cli/highlighter.py b/midas/cli/highlighter.py index b1b705f..e4a9556 100644 --- a/midas/cli/highlighter.py +++ b/midas/cli/highlighter.py @@ -210,8 +210,6 @@ class PythonHighlighter( def visit_logical_expr(self, expr: p.LogicalExpr) -> None: ... - def visit_set_expr(self, expr: p.SetExpr) -> None: ... - def visit_cast_expr(self, expr: p.CastExpr) -> None: ... def visit_ternary_expr(self, expr: p.TernaryExpr) -> None: ... diff --git a/midas/resolver/resolver.py b/midas/resolver/resolver.py index 15166bd..31a46df 100644 --- a/midas/resolver/resolver.py +++ b/midas/resolver/resolver.py @@ -174,10 +174,6 @@ class Resolver(p.Stmt.Visitor[None], p.Expr.Visitor[None]): self.resolve(expr.left) self.resolve(expr.right) - def visit_set_expr(self, expr: p.SetExpr) -> None: - self.resolve(expr.value) - self.resolve(expr.object) - def visit_cast_expr(self, expr: p.CastExpr) -> None: self.resolve(expr.expr) diff --git a/tests/serializer/python.py b/tests/serializer/python.py index 786b15b..bab3f8c 100644 --- a/tests/serializer/python.py +++ b/tests/serializer/python.py @@ -20,7 +20,6 @@ from midas.ast.python import ( LogicalExpr, MidasType, ReturnStmt, - SetExpr, Stmt, TernaryExpr, TypeAssign, @@ -232,14 +231,6 @@ class PythonAstJsonSerializer( "right": expr.right.accept(self), } - def visit_set_expr(self, expr: SetExpr) -> dict: - return { - "_type": "SetExpr", - "object": expr.object.accept(self), - "name": expr.name, - "value": expr.value.accept(self), - } - def visit_cast_expr(self, expr: CastExpr) -> dict: return { "_type": "CastExpr",