A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail004.stderr
index 41a55c1..7bf64d8 100644 (file)
@@ -1,9 +1,9 @@
 
 tcfail004.hs:3:9: error:
-    • Couldn't match expected type ‘(t1, t)’
+    • Couldn't match expected type ‘(a, b)’
                   with actual type ‘(Integer, Integer, Integer)’
     • In the expression: (1, 2, 3)
       In a pattern binding: (f, g) = (1, 2, 3)
     • Relevant bindings include
-        f :: t1 (bound at tcfail004.hs:3:2)
-        g :: t (bound at tcfail004.hs:3:4)
+        f :: a (bound at tcfail004.hs:3:2)
+        g :: b (bound at tcfail004.hs:3:4)