> Sun Mar 21 16:07:47 CET 2010 Florent Becker <florent.becker@ens-lyon.org>
> * Make commuteFL symmetrical with commuteRL
Applied, thanks! I wasted a bit of time trying to work out if that
should be called commuteFLorComplain or commuteFLOrComplain or something
else, but then I decided I was being silly...
Maybe one point would be that the use of Either may not be as a
"complaint" but as information which is actually used by Darcs to track
important things.
Err, it's late so I may not be making much sense.
Make commuteFL symmetrical with commuteRL
-----------------------------------------
> +commuteFL :: Commute p => (p :> FL p) C(x y) -> Maybe ((FL p :> p) C(x y))
> +commuteFL = either (const Nothing) Just . commuteFLorComplain
The point here being that the erstwhile commuteFL (now
commuteFLOrComplain) returns Either (Left the blocking patch), whereas
commuteRL just returns Maybe
--
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
|