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

Fix bugs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-18 17:17:56 +09:00
parent afcf21787d
commit ae15f95191
7 changed files with 159 additions and 57 deletions
Download patch file Download diff file Expand all files Collapse all files

15
compiler/erg_compiler/lib/pystd/subprocess.d.er
View file

@ -1 +1,14 @@
.run!: (args: Str or [Str; _], shell := Bool) => NoneType
.CompletedProcess: ClassType
.CompletedProcess.args: Str or [Str; _]
.CompletedProcess.returncode: Int
.CompletedProcess.stdout: Bytes or NoneType
.CompletedProcess.stderr: Bytes or NoneType
.run!: (
args: Str or [Str; _],
stdin: File! or NoneType := NoneType,
stdout: File! or NoneType := NoneType,
stderr: File! or NoneType := NoneType,
capture_output := Bool,
shell := Bool,
) => .CompletedProcess