Proposal: overhaul System.Process

Neil Mitchell ndmitchell at
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:

If only Catch didn't depend on Yhc...



More information about the Libraries mailing list