Add Any and Optional

trans/transpiler/phases/typing/__init__.py

@@ -5,7 +5,7 @@ from transpiler.phases.typing.scope import VarKind, VarDecl, ScopeKind, Scope
 from transpiler.phases.typing.stdlib import PRELUDE, StdlibVisitor
 from transpiler.phases.typing.types import TY_TYPE, TY_INT, TY_STR, TY_BOOL, TY_COMPLEX, TY_NONE, FunctionType, \
     TypeVariable, CppType, PyList, TypeType, Forked, Task, Future, PyIterator, TupleType, TypeOperator, BaseType, \
-    ModuleType, TY_BYTES, TY_FLOAT, PyDict, TY_SLICE, TY_OBJECT, BuiltinFeature
+    ModuleType, TY_BYTES, TY_FLOAT, PyDict, TY_SLICE, TY_OBJECT, BuiltinFeature, UnionType
 
 PRELUDE.vars.update({
     # "int": VarDecl(VarKind.LOCAL, TY_TYPE, TY_INT),
@@ -37,6 +37,8 @@ PRELUDE.vars.update({
     "slice": VarDecl(VarKind.LOCAL, TypeType(TY_SLICE)),
     "object": VarDecl(VarKind.LOCAL, TypeType(TY_OBJECT)),
     "BuiltinFeature": VarDecl(VarKind.LOCAL, TypeType(BuiltinFeature)),
+    "Any": VarDecl(VarKind.LOCAL, TypeType(TY_OBJECT)),
+    "Optional": VarDecl(VarKind.LOCAL, TypeType(lambda x: UnionType(x, TY_NONE))),
 })
 
 typon_std = Path(__file__).parent.parent.parent.parent / "stdlib"