[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