language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 21:44:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update declare.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-02 22:54:43 +09:00
parent 456201fb49
commit c683049b0e
2 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -13,7 +13,9 @@
.Optional: ClassType
.Optional.
__getitem__: (Type) -> Type
.Callable: (*Type) -> Type
.Callable: ClassType
.Callable.
__getitem__: (params: [Type; _], Type) -> Type
.Concatenate: (*Type) -> Type
.Type: (Type) -> Type
.Literal: ClassType