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

fix(checker): type check None literal

Browse Source
This commit is contained in:
HEL
2026-07-01 10:15:13 +02:00
parent d7bb6326de
commit 24bffdabd4
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
midas/checker/python.py
+2
View File
@@ -594,6 +594,8 @@ class PythonTyper(
return self.types.get_type("float") return self.types.get_type("float")
case str(): case str():
return self.types.get_type("str") return self.types.get_type("str")
case None:
return self.types.get_type("None")
case _: case _:
self.reporter.warning(expr.location, f"Unknown literal {expr}") self.reporter.warning(expr.location, f"Unknown literal {expr}")
return UnknownType() return UnknownType()