From afe3eefbbf724ebe92e6375e008288a2a30e9821 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Sat, 13 Jun 2026 13:43:33 +0200 Subject: [PATCH] fix(checker): gravefully handle unknown type --- midas/checker/python.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/midas/checker/python.py b/midas/checker/python.py index 57e6687..f8f049a 100644 --- a/midas/checker/python.py +++ b/midas/checker/python.py @@ -481,7 +481,13 @@ class PythonTyper( return self.types.apply_generic(list_type, [UnknownType()]) def visit_base_type(self, node: p.BaseType) -> Type: - base: Type = self.types.get_type(node.base) + base: Type + try: + base = self.types.get_type(node.base) + except NameError: + self.reporter.warning(node.location, f"Unknown type '{node.base}'") + return UnknownType() + if node.param is not None: param: Type = node.param.accept(self) return self.types.apply_generic(base, [param])