Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail010.stderr
index c22a05e..11e5290 100644 (file)
@@ -1,6 +1,6 @@
 
 tcfail010.hs:3:16: error:
-    • No instance for (Num [t0]) arising from a use of ‘+’
+    • No instance for (Num [a0]) arising from a use of ‘+’
     • In the expression: z + 2
       In the expression: \ (y : z) -> z + 2
       In an equation for ‘q’: q = \ (y : z) -> z + 2