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	bfrk
Assigned To		Topics

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

msg19073 (view)

Author: bfrk

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:06	bfrk	create

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