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

fix(checker): give warning on unknown variable

Browse Source
This commit is contained in:
Louis Heredero
2026-06-12 17:01:02 +02:00
parent 22fc8010d8
commit 2063d94dce
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
midas/checker/python.py
View File

@@ -12,7 +12,6 @@ from midas.checker.reporter import FileReporter, Reporter
from midas.checker.resolver import Resolver from midas.checker.resolver import Resolver
from midas.checker.types import ( from midas.checker.types import (
Function, Function,
Operation,
Type, Type,
UnitType, UnitType,
UnknownType, UnknownType,
@@ -418,7 +417,11 @@ class PythonTyper(
return UnknownType() return UnknownType()
def visit_variable_expr(self, expr: p.VariableExpr) -> Type: def visit_variable_expr(self, expr: p.VariableExpr) -> Type:
return self.look_up_variable(expr.name, expr) or UnknownType() type: Optional[Type] = self.look_up_variable(expr.name, expr)
if type is None:
self.logger.debug(f"Unknown variable {expr.name} in {self.env.flat_dict()}")
self.reporter.warning(expr.location, "Unknown variable")
return type or UnknownType()
def visit_logical_expr(self, expr: p.LogicalExpr) -> Type: def visit_logical_expr(self, expr: p.LogicalExpr) -> Type:
left: Type = expr.left.accept(self) left: Type = expr.left.accept(self)