20 Apr
2007
20 Apr
'07
12:40 p.m.
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