Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / patsyn / should_fail / T11053.stderr
index e583aa1..40dae30 100644 (file)
@@ -4,16 +4,16 @@ T11053.hs:7:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
 
 T11053.hs:9:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Top-level binding with no type signature:
-      J :: forall t. t -> Maybe t
+      J :: forall a. a -> Maybe a
 
 T11053.hs:11:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Top-level binding with no type signature:
-      J1 :: forall t. t -> Maybe t
+      J1 :: forall a. a -> Maybe a
 
 T11053.hs:13:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Top-level binding with no type signature:
-      J2 :: forall t. t -> Maybe t
+      J2 :: forall a. a -> Maybe a
 
 T11053.hs:15:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
     Top-level binding with no type signature:
-      J3 :: forall t. t -> Maybe t
+      J3 :: forall a. a -> Maybe a