[darcs-devel] darcs patch: start gadt stuff (and 29 more)
Jason Dagit
dagit at codersbase.com
Sat Jun 16 14:40:46 PDT 2007
On 6/16/07, David Roundy <droundy at darcs.net> wrote:
> I hope that's clear. I know it's pretty brief. My implementation actually
> uses unsafeCoerce# internally when parsing Conflicted patches. We could
> have avoided this by storing the inverse of the conflicted patch and its
> context, but it didn't seem worth the change. The code would have been
> more elegant, but I think the patches would have been more confusing.
Your explanation helps a lot. I think I see the need for Sealed now.
I also see that MyEq could return Sealed EqCheck and avoid the
unsafeCoerce# but it would be overkill.
I need to think more about the hypothetical change to Conflicted
patches. I'm not sure I understand how that also solves the problem.
Thanks,
Jason
More information about the darcs-devel
mailing list