language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 20:14:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update zipfile.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-04 14:01:11 +09:00
parent 752640eb02
commit 078f80e949
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/lib/pystd/zipfile.d.er
View file

@ -1,8 +1,8 @@
.ZipFile!: ClassType
.ZipFile! <: FileLike!
.open! = 'ZipFile': (path: PathLike or FileLike!, mode := Str) => .ZipFile!
.ZipFile!.
__call__: (path: PathLike or FileLike!, mode := Str) => .ZipFile!
open!: (name: PathLike, mode := Str) => .ZipFile!
add!: (self: RefMut(.ZipFile!), name: PathLike, arcname: PathLike or NoneType := NoneType, recursive := Bool) => NoneType
close!: (self: .ZipFile!,) => NoneType