>> Since exec is now just (exec_ ... Nothing), this changes the effect of
>> exec, but in subtly different ways on the two platforms.
> exec is backwards compatible (i hope)
It is -- I'm an idiot.
> That being said, what is alarming to me is that Windows/Unix have
> different behaviours
Aye.
> data StderrRedirect =
> NoRedirect | RedirectToStdout | RedirectTo FilePath
>
> What do you think?
That's definitely the right way, although I'd say
RedirectTo !FilePath
Sorry, I'm superstitious.
Juliusz
_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
