[darcs-users] [patch97] add ImpredicativeTypes to extensions

Ganesh Sittampalam bugs at darcs.net
Mon Dec 14 12:24:51 UTC 2009


Ganesh Sittampalam <ganesh at earth.li> added the comment:

I ended up submitting this change myself (patch112) as the first patch in the
bundle (submitted as patch96) needed editing.

----------
status: review-in-progress -> obsoleted

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch97>
__________________________________


More information about the darcs-users mailing list