[darcs-users] darcs patch: remove unused export (and 1 more)

[Eric Kow]

If I'm not mistaken, the patch bundle below requires attention.
Please correct me if I'm wrong :-)

Eric

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
>>  exported.

-- 
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
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20091003/1c69b9ef/attachment.pgp>