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

[Ganesh Sittampalam]

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
> module.
>
> 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 
submit :-)

Ganesh