Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail016.stderr
index 949cb65..3430c2d 100644 (file)
@@ -1,7 +1,7 @@
 
 tcfail016.hs:8:1: error:
-    • Couldn't match type ‘(t, Expr t)’ with ‘Expr t
-      Expected type: AnnExpr t -> [[Char]]
-        Actual type: Expr t -> [[Char]]
+    • Couldn't match type ‘(a, Expr a)’ with ‘Expr a
+      Expected type: AnnExpr a -> [[Char]]
+        Actual type: Expr a -> [[Char]]
     • Relevant bindings include
-        g :: AnnExpr t -> [[Char]] (bound at tcfail016.hs:8:1)
+        g :: AnnExpr a -> [[Char]] (bound at tcfail016.hs:8:1)