tcfail045_HC_OPTS = -fglasgow-exts
tcfail068_HC_OPTS = -fglasgow-exts
+tcfail080_HC_OPTS = -fglasgow-exts
include $(TOP)/mk/target.mk
--- /dev/null
+--!!! Multi-param type classes test: ambiguity bug
+module ShouldFail where
+
+class Collection c a where
+ empty :: c a
+ add :: a -> c a -> c a
+ isempty :: c a -> Bool
+
+singleton x = add x empty
+
+q x = isempty (singleton x)
+
+
--- /dev/null
+
+tcfail080.hs:7:
+ Too many parameters for class `Collection'
+ In the class declaration for `Collection'
+
+
+Compilation had errors