On Mon, 2 Nov 2009, Petr Rockai wrote:
this is going to conflict with http://bugs.darcs.net/patch31 so the
patch that gets recorded later will probably needs amends.
Also, the other related changes (putting applyTreeFilter all around the
place) is going to conflict with patch16.
OK, I'm happy for this one to wait unless anyone else is in a rush to try
out 6.12. I mainly did the work now to ensure that we weren't using
impredicativity in an essential way so I could confirm this to Simon PJ
and it seemed silly not to submit it once done.
Cheers,
Ganesh
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
