search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
141 stars 61 forks source link

Handles are stdin, stdout, and stderr respectively. #613

Closed philderbeast closed 2 years ago

philderbeast commented 2 years ago

I was trying out typed-process on this repo as a learning exercise and noticed that the call to runInteractiveCommand has flipped the names of the handles.

runInteractiveCommand :: String -> IO (Handle, Handle, Handle, ProcessHandle) Runs a command using the shell, and returns Handles that may be used to communicate with the process via its stdin, stdout, and stderr respectively. runInteractiveCommand