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

feat: add Generator

Browse source 
* remove `GenericGenerator`
This commit is contained in:
Shunsuke Shibayama 2024-09-22 21:49:11 +09:00
parent 0cffbd7249
commit 1f5e9cbc9f
3 changed files with 11 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -45,9 +45,9 @@
chmod!: (self: .Path, mode: Nat) => NoneType
exists!: (self: .Path) => Bool
expanduser!: (self: .Path) => .Path
glob!: (self: .Path, pattern: Str) -> Iterable .Path
glob!: (self: .Path, pattern: Str) -> Generator .Path
home!: () => .Path
iterdir!: (self: .Path) => Iterable .Path
iterdir!: (self: .Path) => Generator .Path
joinpath: (self: .Path, *other: PathLike) -> .Path
mkdir!: (self: .Path, mode := Nat, parents := Bool, exist_ok := Bool) => NoneType
open!: (self: .Path, mode := Str) => File!