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

fix: add __name__ to preamble

Browse Source
This commit is contained in:
HEL
2026-07-06 15:28:10 +02:00
parent 16c19cca75
commit 8bc35f7754
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
midas/checker/preamble.py
+1
View File
@@ -30,6 +30,7 @@ class Preamble(Environment):
self._types: TypesRegistry = types self._types: TypesRegistry = types
self._python_funcs: dict[str, Callable[..., Any]] = {} self._python_funcs: dict[str, Callable[..., Any]] = {}
self.define("__name__", self._types.get_type("str"))
self._def_type_constructor("object", object) self._def_type_constructor("object", object)
self._def_type_constructor("float", float) self._def_type_constructor("float", float)
self._def_type_constructor("int", int) self._def_type_constructor("int", int)