Proposal: overhaul System.Process

[Neil Mitchell]

Hi

> 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...

Thanks

Neil