Labels and the tentative solution to the MPTC Dilemma

Dinko Tenev dinko.tenev at gmail.com
Thu Feb 16 04:42:45 EST 2006


On 2/16/06, oleg at pobox.com <oleg at pobox.com> wrote:
[...]
> class EqL1 a c | a -> c
> instance EqL1 L1 HTrue
> instance EqL1 L2 HFalse
>
> class EqL2 a c | a -> c
> instance EqL2 L1 HFalse
> instance EqL2 L2 HTrue
[...]

Doesn't this spell quadratic blow-up on the number of labels in scope?

It also seems tangled, considering the cost of adding a new label to the set.

--

Cheers,
    Dinko


More information about the Haskell-prime mailing list