On Sun, 15 Nov 2009, Jason Dagit wrote:
toCommute and fromCommute are not the best function names, but I think a future refactor can get rid of both of them or give them better names. I've also tried to make their types sufficiently general such that they may be able to transform the type of commuteFL, although I haven't actually tried it.
A little while ago I started adding some general infrastructure for handling commutes between different types of patches in Darcs.Patch.Permutations - in particular there's
type CommuteFn p1 p2 = FORALL(x y) (p1 :> p2) C(x y) -> Maybe ((p2 :> p1) C(x y))
I think it would make sense to combine this stuff with your toCommute and fromCommute code, and put it in an appropriate module (perhaps a new one).
Cheers, Ganesh _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
