[darcs-users] darcs patch: Make Darcs.Repository.Internal compile w... (and 4 more)

Jason Dagit dagit at codersbase.com
Fri Aug 8 07:06:38 UTC 2008


More type witnesses.

Jason

Thu Aug  7 18:53:43 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * Make Darcs.Repository.Internal compile with type witnesses.

Thu Aug  7 19:30:25 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * fixed a bug in identity_commutes property
  In the right identity check the patch order should have gone from
  (identity :> p) to (p2 :> i2).  I added a rigid type context too
  so that ghc 6.8 and newer would type the definition.

Thu Aug  7 22:09:47 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * Add type witnesses to more modules, rounding out Darcs/Repository/*

Thu Aug  7 22:27:38 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * add type witnesses to CommandsAux

Thu Aug  7 22:32:52 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * add type witnesses to Population

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 82971 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20080808/37b465a0/attachment-0001.bin 


More information about the darcs-users mailing list