[darcs-devel] darcs patch: Exec improvements : Windows redirection, and more redi...

Juliusz Chroboczek Juliusz.Chroboczek at pps.jussieu.fr
Mon Sep 11 07:02:57 PDT 2006


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




More information about the darcs-devel mailing list