[darcs-users] [patch40] build fixes for GHC 6.12

Ganesh Sittampalam ganesh at earth.li
Mon Nov 2 21:32:05 UTC 2009


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


More information about the darcs-users mailing list