diff --git a/midas/checker/midas.py b/midas/checker/midas.py index 810049e..3efa5d4 100644 --- a/midas/checker/midas.py +++ b/midas/checker/midas.py @@ -364,6 +364,8 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type 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()