[darcs-users] darcs patch: make an assumption in the pull code explicit
ganesh at earth.li
Wed Sep 9 19:28:36 UTC 2009
On Wed, 9 Sep 2009, Jason Dagit wrote:
> Anyway, I'm almost 100% certain we can't hit the impossible case. I seem to
> recall that David had asked me to hold off and refactoring it simply because
> my focus was elsewhere previously (one simple change at a time). Once the
> type-witnesses are 100% I think we should revisit get_common_and_uncommon.
> Actually, I feel like a lot of the Depends module needs modernization and
> cleanup. We still see bugs there way more regularly than we should and the
> way the algorithms are expressed there are too many unsafeCoercePs in that
> I think I'll go make a bug ticket for this future refactor.
Actually I did the refactor on the train and am just cleaning it up to
More information about the darcs-users