[darcs-users] darcs patch: remove unused export (and 1 more)
kowey at darcs.net
Sat Oct 3 14:59:26 UTC 2009
If I'm not mistaken, the patch bundle below requires attention.
Please correct me if I'm wrong :-)
On Tue, Sep 08, 2009 at 21:06:17 +0100, Ganesh Sittampalam wrote:
> I think this fixes both the issues we discussed; let me know if not.
>> 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
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 194 bytes
Desc: not available
More information about the darcs-users