Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / T10351.stderr
index b6a16d3..782d6e3 100644 (file)
@@ -1,6 +1,6 @@
 
 T10351.hs:6:1: error:
-    • Non type-variable argument in the constraint: C [t]
+    • Non type-variable argument in the constraint: C [a]
       (Use FlexibleContexts to permit this)
     • When checking the inferred type
-        f :: forall t. C [t] => t -> ()
+        f :: forall a. C [a] => a -> ()