Fix type object definitions

b2eff1ff · Tom Niget · e3d6e942 · b2eff1ff
Commit b2eff1ff authored May 25, 2023 by Tom Niget
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

trans/transpiler/phases/typing/__init__.py trans/transpiler/phases/typing/__init__.py +3 -3

No files found.
--- a/trans/transpiler/phases/typing/__init__.py
+++ b/trans/transpiler/phases/typing/__init__.py
@@ -21,9 +21,9 @@ PRELUDE.vars.update({
    "bool": VarDecl(VarKind.LOCAL, TypeType(TY_BOOL)),
    "complex": VarDecl(VarKind.LOCAL, TypeType(TY_COMPLEX)),
    "None": VarDecl(VarKind.LOCAL, TypeType(TY_NONE)),
-    "Callable": VarDecl(VarKind.LOCAL, FunctionType),
-    "TypeVar": VarDecl(VarKind.LOCAL, TypeVariable),
-    "CppType": VarDecl(VarKind.LOCAL, CppType),
+    "Callable": VarDecl(VarKind.LOCAL, TypeType(FunctionType)),
+    "TypeVar": VarDecl(VarKind.LOCAL, TypeType(TypeVariable)),
+    "CppType": VarDecl(VarKind.LOCAL, TypeType(CppType)),
    "list": VarDecl(VarKind.LOCAL, TypeType(PyList)),
    "Forked": VarDecl(VarKind.LOCAL, TypeType(Forked)),
    "Task": VarDecl(VarKind.LOCAL, TypeType(Task)),