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

fix: remove unused SetExpr

Browse Source
This commit is contained in:
Louis Heredero
2026-06-07 17:48:31 +02:00
parent b8cb2b4273
commit e665d03533
7 changed files with 0 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
gen/python.py
View File

@@ -128,12 +128,6 @@ class LogicalExpr:
right: Expr right: Expr
class SetExpr:
object: Expr
name: str
value: Expr
class CastExpr: class CastExpr:
type: MidasType type: MidasType
expr: Expr expr: Expr

11
midas/ast/printer.py
View File

@@ -602,17 +602,6 @@ class PythonAstPrinter(
with self._child_level(single=True): with self._child_level(single=True):
expr.right.accept(self) 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: def visit_cast_expr(self, expr: p.CastExpr) -> None:
self._write_line("CastExpr") self._write_line("CastExpr")
with self._child_level(): with self._child_level():

13
midas/ast/python.py
View File

@@ -214,9 +214,6 @@ class Expr(ABC):
@abstractmethod @abstractmethod
def visit_logical_expr(self, expr: LogicalExpr) -> T: ... def visit_logical_expr(self, expr: LogicalExpr) -> T: ...
@abstractmethod
def visit_set_expr(self, expr: SetExpr) -> T: ...
@abstractmethod @abstractmethod
def visit_cast_expr(self, expr: CastExpr) -> T: ... def visit_cast_expr(self, expr: CastExpr) -> T: ...
@@ -298,16 +295,6 @@ class LogicalExpr(Expr):
return visitor.visit_logical_expr(self) 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) @dataclass(frozen=True)
class CastExpr(Expr): class CastExpr(Expr):
type: MidasType type: MidasType

2
midas/checker/checker.py
View File

@@ -620,8 +620,6 @@ class Checker(
) )
return UnknownType() return UnknownType()
def visit_set_expr(self, expr: p.SetExpr) -> Type: ...
def visit_cast_expr(self, expr: p.CastExpr) -> Type: def visit_cast_expr(self, expr: p.CastExpr) -> Type:
return expr.type.accept(self) return expr.type.accept(self)

2
midas/cli/highlighter.py
View File

@@ -210,8 +210,6 @@ class PythonHighlighter(
def visit_logical_expr(self, expr: p.LogicalExpr) -> None: ... 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_cast_expr(self, expr: p.CastExpr) -> None: ...
def visit_ternary_expr(self, expr: p.TernaryExpr) -> None: ... def visit_ternary_expr(self, expr: p.TernaryExpr) -> None: ...

4
midas/resolver/resolver.py
View File

@@ -174,10 +174,6 @@ class Resolver(p.Stmt.Visitor[None], p.Expr.Visitor[None]):
self.resolve(expr.left) self.resolve(expr.left)
self.resolve(expr.right) 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: def visit_cast_expr(self, expr: p.CastExpr) -> None:
self.resolve(expr.expr) self.resolve(expr.expr)

9
tests/serializer/python.py
View File

@@ -20,7 +20,6 @@ from midas.ast.python import (
LogicalExpr, LogicalExpr,
MidasType, MidasType,
ReturnStmt, ReturnStmt,
SetExpr,
Stmt, Stmt,
TernaryExpr, TernaryExpr,
TypeAssign, TypeAssign,
@@ -232,14 +231,6 @@ class PythonAstJsonSerializer(
"right": expr.right.accept(self), "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: def visit_cast_expr(self, expr: CastExpr) -> dict:
return { return {
"_type": "CastExpr", "_type": "CastExpr",