[Hugs-users] Re: Constraint depth cut off

Neil Mitchell ndmitchell at gmail.com
Fri Apr 20 08:40:46 EDT 2007


> 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!


More information about the Hugs-Users mailing list