[darcs-users] darcs patch: make an assumption in the pull code explicit
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
Size: 19717 bytes
Desc: A darcs patch for your repository!
More information about the darcs-users