Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / T5858.stderr
index 5e0cf15..dc3ee90 100644 (file)
@@ -1,13 +1,11 @@
 
-T5858.hs:11:7:
-    No instance for (InferOverloaded ([a0], [a1]))
-      arising from a use of `infer'
-    The type variables `a0', `a1' are ambiguous
-    Possible fix: add a type signature that fixes these type variable(s)
-    Note: there is a potential instance available:
-      instance t1 ~ String => InferOverloaded (t1, t1)
-        -- Defined at T5858.hs:8:10
-    Possible fix:
-      add an instance declaration for (InferOverloaded ([a0], [a1]))
-    In the expression: infer ([], [])
-    In an equation for `foo': foo = infer ([], [])
+T5858.hs:11:7: error:
+    • Ambiguous type variables ‘a0’, ‘a1’ arising from a use of ‘infer’
+      prevents the constraint ‘(InferOverloaded
+                                  ([a0], [a1]))’ from being solved.
+      Probable fix: use a type annotation to specify what ‘a0’, ‘a1’ should be.
+      These potential instance exist:
+        instance t1 ~ String => InferOverloaded (t1, t1)
+          -- Defined at T5858.hs:8:10
+    • In the expression: infer ([], [])
+      In an equation for ‘foo’: foo = infer ([], [])