Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / indexed-types / should_fail / ExtraTcsUntch.stderr
index f8cd07d..0a1b9d3 100644 (file)
@@ -1,18 +1,18 @@
 
 ExtraTcsUntch.hs:23:18: error:
-    Couldn't match expected type ‘F Int’ with actual type ‘[[t]]’
-    In the first argument of ‘h’, namely ‘[x]’
-    In the expression: h [x]
-    In an equation for ‘g1’: g1 _ = h [x]
-    Relevant bindings include
-      x :: [t] (bound at ExtraTcsUntch.hs:21:3)
-      f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
+    • Couldn't match expected type ‘F Int’ with actual type ‘[[a]]’
+    • In the first argument of ‘h’, namely ‘[x]’
+      In the expression: h [x]
+      In an equation for ‘g1’: g1 _ = h [x]
+    • Relevant bindings include
+        x :: [a] (bound at ExtraTcsUntch.hs:21:3)
+        f :: [a] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
 
 ExtraTcsUntch.hs:25:38: error:
-    Couldn't match expected type ‘F Int’ with actual type ‘[[t]]’
-    In the first argument of ‘h’, namely ‘[[undefined]]’
-    In the expression: h [[undefined]]
-    In the expression: (h [[undefined]], op x [y])
-    Relevant bindings include
-      x :: [t] (bound at ExtraTcsUntch.hs:21:3)
-      f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
+    • Couldn't match expected type ‘F Int’ with actual type ‘[[a]]’
+    • In the first argument of ‘h’, namely ‘[[undefined]]’
+      In the expression: h [[undefined]]
+      In the expression: (h [[undefined]], op x [y])
+    • Relevant bindings include
+        x :: [a] (bound at ExtraTcsUntch.hs:21:3)
+        f :: [a] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)