From 2063d94dced9ff7a54ca95813aaa76d66a6db52f Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Fri, 12 Jun 2026 17:01:02 +0200
Subject: [PATCH] fix(checker): give warning on unknown variable

---
 midas/checker/python.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/midas/checker/python.py b/midas/checker/python.py
index 1e57d35..7d10392 100644
--- a/midas/checker/python.py
+++ b/midas/checker/python.py
@@ -12,7 +12,6 @@ from midas.checker.reporter import FileReporter, Reporter
 from midas.checker.resolver import Resolver
 from midas.checker.types import (
     Function,
-    Operation,
     Type,
     UnitType,
     UnknownType,
@@ -418,7 +417,11 @@ class PythonTyper(
                 return UnknownType()
 
     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:
         left: Type = expr.left.accept(self)