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

fix(pathlib): use => since it's a procedure

Browse source
This commit is contained in:
GreasySlug 2024-09-22 22:11:42 +09:00
parent 1f5e9cbc9f
commit a2e8ba4322
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/pathlib.d.er
View file

@ -45,7 +45,7 @@
chmod!: (self: .Path, mode: Nat) => NoneType
exists!: (self: .Path) => Bool
expanduser!: (self: .Path) => .Path
glob!: (self: .Path, pattern: Str) -> Generator .Path
glob!: (self: .Path, pattern: Str) => Generator .Path
home!: () => .Path
iterdir!: (self: .Path) => Generator .Path
joinpath: (self: .Path, *other: PathLike) -> .Path