On Wed, May 14, 2008 at 11:55:09AM +0100, Simon Peyton-Jones wrote:
> | Hmmm.  Yes, that does seem to eliminate the possibility of this being a
> | transport issue, which only makes it more puzzling.  You aren't running out
> | of disk space, are you? (To ask the obvious...)
> 
> No, 37Gbyte free.

Ah well.  One can always hope for an easy answer!  :)

> | Just to be clear: does darcs check pass on the local HEAD repo that you get
> | the error when pulling from?
> 
> Alas, I can't do that!  Remember, a different Darcs bug means that one
> cannot pull, or check, a full GHC repo from scratch.  Something to do
> with line endings I believe. That's why we always have to start from a
> tar ball.  Alas.

Argh.  This is the case-insensitive filesystem issue.  :(

Actually, you could look for the problem I was curious about by running
darcs changes -s on the local HEAD repo.  That'll force darcs to open and
parse every patch, and that's where the error seems to be coming.
-- 
David Roundy
Department of Physics
Oregon State University