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

Ganesh Sittampalam 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.

Cheers,

Ganesh

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


More information about the darcs-users mailing list