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

Ganesh Sittampalam ganesh at earth.li
Tue Sep 8 20:03:51 UTC 2009


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.
  
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 33375 bytes
Desc: A darcs patch for your repository!
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20090908/3fde0961/attachment-0001.bin>


More information about the darcs-users mailing list