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

Implement subtype ascription

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-19 19:04:50 +09:00
parent 6613fd85c2
commit cb4c2c7bbf
5 changed files with 120 additions and 48 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/erg_compiler/lib/pystd/tarfile.d.er
View file

@ -1,4 +1,6 @@
.TarFile!: ClassType
.TarFile! <: FileLike
.TarFile! <: FileLike!
.TarFile!.open!: (path: PathLike or NoneType := NoneType, mode := Str) => .TarFile!
.TarFile!.add!: (self: RefMut(.TarFile!), name: PathLike, arcname: PathLike or NoneType := NoneType, recursive := Bool) => NoneType
.TarFile!.close!: (self: .TarFile!,) => NoneType
@ -6,5 +8,5 @@
.TarFile!.getnames: (self: Ref(.TarFile!),) -> [Str; _]
.TarFile!.list: (self: Ref(.TarFile!), verbose := Bool) -> [Str; _]
.open!: (path: PathLike or NoneType := NoneType, mode := Str) => .TarFile!
.open!: (path: PathLike or NoneType := NoneType, mode := Str, fileobj: FileLike or NoneType := NoneType) => .TarFile!
.is_tarfile: (name: Str or File!,) -> Bool