Sorry, forgot to use --edit as usual. I think this fixes both the issues we discussed; let me know if not.
Cheers, Ganesh On Tue, 8 Sep 2009, Ganesh Sittampalam wrote:
Mon Aug 3 06:19:07 BST 2009 Ganesh Sittampalam <[email protected]> * remove unused export Tue Sep 8 18:50:45 BST 2009 Ganesh Sittampalam <[email protected]> * 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.
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
