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

feat: add Dict!

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-20 11:34:04 +09:00
parent 325d237f09
commit 3fcd3ab9b1
4 changed files with 45 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/erg_compiler/lib/std.d/Dict!.d.er Normal file
View file

@ -0,0 +1,7 @@
# TODO: transition specifications
dict = pyimport "Dict"
.Dict!: ClassType
.Dict! <: dict.Dict
.Dict!.
insert!: |K, V|(self: .Dict!, key: K, value: V) => NoneType