fix(checker): make builtin type constructor parameter optional

2026-06-16 20:40:48 +02:00
parent 75f8e4af53
commit e5cb90aff6
1 changed files with 1 additions and 1 deletions
--- a/midas/checker/preamble.py
+++ b/midas/checker/preamble.py
@@ -61,7 +61,7 @@ class Preamble(Environment):
        # TODO: more specific arg types
        self._def_function(
            name=name,
-            pos=[Param("object", TopType())],
+            pos=[Param("object", TopType(), required=False)],
            returns=self._types.get_type(name),
        )