[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>

More information about the darcs-users mailing list