Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / FailDueToGivenOverlapping.stderr
index f30ceec..651aad6 100644 (file)
@@ -1,6 +1,6 @@
 
 FailDueToGivenOverlapping.hs:27:9: error:
-    • Overlapping instances for E [t0] arising from a use of ‘eop’
+    • Overlapping instances for E [a0] arising from a use of ‘eop’
       Matching givens (or their superclasses):
         E [Int]
           bound by the type signature for:
@@ -8,6 +8,6 @@ FailDueToGivenOverlapping.hs:27:9: error:
           at FailDueToGivenOverlapping.hs:26:1-26
       Matching instances:
         instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
-      (The choice depends on the instantiation of ‘t0’)
+      (The choice depends on the instantiation of ‘a0’)
     • In the expression: eop [undefined]
       In an equation for ‘bar’: bar _ = eop [undefined]