> it's a bit alarming to have darcsdir ++ "/blah" vs darcsdir </> "blah"
all over
Exactly, that's what I thought. The only reason why I didn't fix this
immediately was that, in fact, there are three possible separator
choices here: "/", System.FilePath.(</>) and
System.FilePath.Posix.(</>), and I'm not sure if System.FilePath.(</>)
would break Darcs on Windows, by creating URLs like
"http://www.darcs.net\_darcs\". Some kind of 'official' coding
convention would be useful.
> Let us know if there's anything we can do to help you resubmit
Thanks, I'm fine with that, though it would have to wait until February.
There's surely no need to waste your precious time resolving these
conflicts.
|