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

Ganesh Sittampalam ganesh at earth.li
Sat Oct 3 15:13:10 UTC 2009

On Sat, 3 Oct 2009, Eric Kow wrote:

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

Well, sort of, but the second patch will conflict completely with darcs-hs 
(and the first patch might too), so probably best to just drop it for now 
and wait for the merge; then I'll redo it.

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