darcs

Issue 2493 Darcs.Patch.Apply.effectOnFilePaths broken/incomplete?

Title Darcs.Patch.Apply.effectOnFilePaths broken/incomplete?
Priority bug Status needs-diagnosis/design
Milestone Resolved in
Superseder Nosy List bf
Assigned To
Topics

Created on 2016-03-10.23:26:06 by bf, last changed 2016-03-10.23:26:06 by bf.

Messages
msg19073 (view) Author: bf Date: 2016-03-10.23:26:05
Suppose you have a repo with one file, say "a", in the recorded state
and your unrecorded changes include a file move ./a -> ./b
Then

 effectOnFilePaths (invert unrecorded) ["a"] == ["a"]

I would have expected to get ["b"]; more generally I would expect

   effectOnFilePaths (invert x) . effectOnFilePaths x
==
   id
==
   effectOnFilePaths x . effectOnFilePaths (invert x)

This looks like a bug to me.
History
Date User Action Args
2016-03-10 23:26:06bfcreate