On Fri, Aug 08, 2008 at 12:06:38AM -0700, Jason Dagit wrote: > More type witnesses. > > Jason > > Thu Aug 7 18:53:43 PDT 2008 Jason Dagit <[EMAIL PROTECTED]> > * Make Darcs.Repository.Internal compile with type witnesses. > > Thu Aug 7 19:30:25 PDT 2008 Jason Dagit <[EMAIL PROTECTED]> > * 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 <[EMAIL PROTECTED]> > * Add type witnesses to more modules, rounding out Darcs/Repository/* > > Thu Aug 7 22:27:38 PDT 2008 Jason Dagit <[EMAIL PROTECTED]> > * add type witnesses to CommandsAux > > Thu Aug 7 22:32:52 PDT 2008 Jason Dagit <[EMAIL PROTECTED]> > * add type witnesses to Population
Hi Jason, I'm applying these (assuming they pass the tests that are now running), since on the whole they look good, and it looks like code that is better in the central repository than outside of it. I'd still like to see a review of the issues in Internal that I mentioned in the other email, as I think this is a serious issue. But we may as well have the same starting point as we look at that review. David _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
