[darcs-devel] darcs patch: Make Diff.lhs undefined when compiling w... (and 2 more)
David Roundy
droundy at darcs.net
Thu Mar 20 15:59:45 UTC 2008
Hi Jason,
This looks great! I'm a bit surprised that DarcsRepo turned out so nicely
with so few changes! I read over your one use of unsafeCoerceP pretty
carefully, and am certain that it's correct. The rest all looks very
good. I'm particularly pleased with your change to commute_to_end, which
is a real improvement over the previous DarcsRepo code!
Needless to say, it's being applied right now, so barring test failure, it
should appear in the main repository soon. :)
David
On Wed, Mar 19, 2008 at 05:53:45PM -0700, Jason Dagit wrote:
> I think you will like the last patch to make DarcsRepo use type witnesses.
> Unlike the changes I sent you before for remove_from_tentative_inventory,
> this version should have the same performance as before. Actually, it
> may be slightly improved but I'm not certain about that.
>
> Thanks,
> Jason
>
> Mon Mar 17 15:56:13 PDT 2008 Jason Dagit <dagit at codersbase.com>
> * Make Diff.lhs undefined when compiling with type witnesses
> This allows us to post pone refractoring Diff.lhs so that
> we can focus on higher priority modules that depend on
> Diff.lhs.
>
> Mon Mar 17 16:20:30 PDT 2008 Jason Dagit <dagit at codersbase.com>
> * allow Darcs.Repository.Pristine to compile with type witnesses
>
> Wed Mar 19 17:14:07 PDT 2008 Jason Dagit <dagit at codersbase.com>
> * Make DarcsRepo compile with type witnesses
> This patch required one unsafeCoerceP in remove_from_tentative_inventory,
> which is almost unavoidable on non-hashed repositories. Otherwise, it is a
> full and faithful conversion to type witnesses.
More information about the darcs-devel
mailing list