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

fix(checker): always type check unary operand

Browse Source
This commit is contained in:
HEL
2026-07-09 17:46:52 +02:00
parent 7a021b2450
commit ad40db98d0
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
midas/checker/midas.py
+3 -1
View File
@@ -292,6 +292,9 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type
return result.result return result.result
def visit_unary_expr(self, expr: m.UnaryExpr) -> Type: def visit_unary_expr(self, expr: m.UnaryExpr) -> Type:
# First evaluate operand to surface all errors
operand: Type = self.type_of(expr.right)
# Special case because there is no __not__ dunder method # Special case because there is no __not__ dunder method
match expr.operator: match expr.operator:
case Token(type=TokenType.BANG): case Token(type=TokenType.BANG):
@@ -305,7 +308,6 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type
) )
return UnknownType() return UnknownType()
operand: Type = self.type_of(expr.right)
operation: Optional[Type] = self.types.lookup_member(operand, method) operation: Optional[Type] = self.types.lookup_member(operand, method)
if operation is None: if operation is None:
self.reporter.error( self.reporter.error(