[darcs-devel] [issue1461] case-folding can lead to working directory corruption

[Ian Lynagh]

On Sat, Jul 13, 2019 at 11:49:19AM +0000, Ben Franksen wrote:
> 
> Ben Franksen <ben.franksen at online.de> added the comment:
> 
> >>>  - We probably can't protect against all possible failures. 
> >>> Reordering patches could lead to invalid states being created even 
> >>> when a particular linearisation of the repository looked fine.
> >>
> >> I don't believe this is so. [...]
> > 
> > The kind of example I had in mind was this:
> > 
> > patch 1: add a
> > patch 2: rm a
> > patch 3: add A
> > 
> > now unpull 2.
> 
> OMG I feel so stupid. Yes, this could only be avoided if we make it a
> global property i.e. you cannot 'add A' if there is an 'add a'
> /anywhere/ in the repo (and likewise with move).

Or perhaps "add A" should depend on "rm a"?


Thanks
Ian