[darcs-users] darcs patch: remove unused export (and 1 more)
ganesh at earth.li
Tue Sep 8 20:06:17 UTC 2009
Sorry, forgot to use --edit as usual.
I think this fixes both the issues we discussed; let me know if not.
On Tue, 8 Sep 2009, Ganesh Sittampalam wrote:
> Mon Aug 3 06:19:07 BST 2009 Ganesh Sittampalam <ganesh at earth.li>
> * remove unused export
> Tue Sep 8 18:50:45 BST 2009 Ganesh Sittampalam <ganesh at earth.li>
> * add type witnesses to Darcs.Diff
> This doesn't affect the internal safety at all, in the same way that
> construction of primitive patches is not safe. However together with the
> introduction of "witnessed slurpies" it does enable a "safe" interface to be
More information about the darcs-users