language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update typing.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-12 00:47:28 +09:00
parent d87a75b033
commit 6e9c87f3d7
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/erg_compiler/lib/pystd/typing.d.er
View file

@ -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