[darcs-users] [patch40] stop using impredicativity

Ganesh Sittampalam bugs at darcs.net
Sat Jun 26 16:35:22 UTC 2010


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

1 patch for repository darcs-unstable at darcs.net:darcs:

Sat Jun 26 17:30:16 BST 2010  Ganesh Sittampalam <ganesh at earth.li>
  * stop using impredicativity
  This is planned to be removed or changed in GHC 6.14

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch40>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: stop-using-impredicativity.dpatch
Type: text/x-darcs-patch
Size: 77823 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100626/233f9668/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unnamed
Type: application/octet-stream
Size: 5 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100626/233f9668/attachment-0001.obj>


More information about the darcs-users mailing list