Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / T5858.stderr
index 08de488..dc3ee90 100644 (file)
@@ -1,9 +1,9 @@
 
 T5858.hs:11:7: error:
-    • Ambiguous type variables ‘t0’, ‘t1’ arising from a use of ‘infer’
+    • Ambiguous type variables ‘a0’, ‘a1’ arising from a use of ‘infer’
       prevents the constraint ‘(InferOverloaded
-                                  ([t0], [t1]))’ from being solved.
-      Probable fix: use a type annotation to specify what ‘t0’, ‘t1’ should be.
+                                  ([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