Proposal: overhaul System.Process
ndmitchell at gmail.com
Fri May 16 11:13:35 EDT 2008
> createProcess :: (StdStream sin, StdStream sout, StdStream serr) =>
> CreateProcess sin sout serr
> -> IO (Out sin, Out sout, Out serr, ProcessHandle)
> Then we could have a static guarantee that we only try to peek at
> actually-created pipes. I suppose this is a bit heavy infrastructure just
> to avoid runtime checks for "Just", but in a few years (say, post
> Haskell'...) it'd be nice to have safer instances like this.
Of course, you can already have these checks without any effort at
all, using Catch: http://www-users.cs.york.ac.uk/~ndm/catch/
If only Catch didn't depend on Yhc...
More information about the Libraries