diff --git a/midas/checker/python.py b/midas/checker/python.py index 9b4640f..ff49296 100644 --- a/midas/checker/python.py +++ b/midas/checker/python.py @@ -594,6 +594,8 @@ class PythonTyper( return self.types.get_type("float") case str(): return self.types.get_type("str") + case None: + return self.types.get_type("None") case _: self.reporter.warning(expr.location, f"Unknown literal {expr}") return UnknownType()