[darcs-users] darcs patch: make an assumption in the pull code explicit

Ganesh Sittampalam ganesh at earth.li
Tue Sep 8 21:50:22 UTC 2009


This patch is a step on the road towards adding type witnesses to Pull.lhs.

Tue Sep  8 22:49:17 BST 2009  Ganesh Sittampalam <ganesh at earth.li>
  * make an assumption in the pull code explicit
  It seems like get_common_and_uncommon always returns a singleton list,
  which is then relied on later. This patch makes that assumption explicit,
  by erroring out if it's not true.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 19717 bytes
Desc: A darcs patch for your repository!
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20090908/09b3039e/attachment.bin>


More information about the darcs-users mailing list