Update typing.d.er

erg-lang · Apr 11, 2023 · 6e9c87f · 6e9c87f
1 parent d87a75b
commit 6e9c87f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/crates/erg_compiler/lib/pystd/typing.d.er b/crates/erg_compiler/lib/pystd/typing.d.er
@@ -16,7 +16,9 @@
 .Callable: (*Type) -> Type
 .Concatenate: (*Type) -> Type
 .Type: (Type) -> Type
-.Literal: (*Obj) -> Type
+.Literal: ClassType
+.Literal.
+    __getitem__: (*Obj) -> Type
 .ClassVar: (Type) -> Type
 .Final: (Type) -> Type
 .Required: (Type) -> Type
@@ -25,7 +27,7 @@
 .TypeGuard: (Type) -> Type
 .Generic: ClassType
 .Generic.
-    __getitem__: (Type) -> Type
+    __getitem__: (*Type) -> Type
 .TypeVar: ClassType
 .TypeVar.
     __call__: (Str, *types: Type, bound := Str) -> Type