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

Update typing.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-03-15 17:05:08 +09:00
parent 6a8837aa8e
commit 6849a10f09
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -28,10 +28,10 @@
__getitem__: (Type) -> Type
.TypeVar: ClassType
.TypeVar.
__getitem__: (Str) -> Type
__call__: (Str, *types: Type, bound := Str) -> Type
.TypeVarTuple: ClassType
.TypeVarTuple.
__getitem__: (Str) -> Type
__call__: (Str) -> Type
.Unpack: (Type) -> Type
.ParamSpec: (Str) -> Type
.AnyStr: ClassType