Re: Re: Constraint depth cut off

Hi

> The error message is silly, but there really is a loop here:
>
>         C3 (T2 T1) T1 <= C2 (T2 T1) <= C3 T1 (T2 T1) <= C2 (T2 T1)
>
> > In GHC with -fglasgow-exts -fallow-undecidable-instances, it works fine.

I was aware of the loop, but I was getting confused because the error
message was pointing somewhere else. With the knowledge that the error
message is wrong, and that loops are bad, I've managed to rewrite the
code in which I was having problems, so its all happy now.

Thanks very much!

Neil