ghc-prim: Bump version
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
index 8e0fa17..5d9ffd2 100644 (file)
@@ -1,47 +1,50 @@
 TYPE SIGNATURES
-  bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1
-  foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String
+  bar :: forall t w. t -> (t -> w) -> w
+  foo :: forall a. (Show a, Enum a) => a -> String
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-1.0.0.0]
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
+                     integer-gmp-1.0.0.1]
 
-WarningWildcardInstantiations.hs:5:14: Warning:
-    Found hole ‘_a’ with type: w_a
-    Where: ‘w_a’ is a rigid type variable bound by
-                 the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String
-                 at WarningWildcardInstantiations.hs:6:1
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_a’ standing for ‘a’
+      Where: ‘a’ is a rigid type variable bound by
+               the inferred type of foo :: (Show a, Enum a) => a -> String
+               at WarningWildcardInstantiations.hs:6:1-21
+    • In the type signature: foo :: (Show _a, _) => _a -> _
 
-WarningWildcardInstantiations.hs:5:18: Warning:
-    Found hole ‘_’ with inferred constraints: Enum w_a
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘Enum a’
+      Where: ‘a’ is a rigid type variable bound by
+               the inferred type of foo :: (Show a, Enum a) => a -> String
+               at WarningWildcardInstantiations.hs:6:1-21
+    • In the type signature: foo :: (Show _a, _) => _a -> _
 
-WarningWildcardInstantiations.hs:5:30: Warning:
-    Found hole ‘_’ with type: String
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘String’
+    • In the type signature: foo :: (Show _a, _) => _a -> _
 
-WarningWildcardInstantiations.hs:8:8: Warning:
-    Found hole ‘_’ with type: w_
-    Where: ‘w_’ is a rigid type variable bound by
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
-                at WarningWildcardInstantiations.hs:9:1
-    In the type signature for ‘bar’: _ -> _ -> _
+WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘t’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: t -> (t -> w) -> w
+               at WarningWildcardInstantiations.hs:9:1-13
+    • In the type signature: bar :: _ -> _ -> _
 
-WarningWildcardInstantiations.hs:8:13: Warning:
-    Found hole ‘_’ with type: w_ -> w_1
-    Where: ‘w_’ is a rigid type variable bound by
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
-                at WarningWildcardInstantiations.hs:9:1
-           ‘w_1’ is a rigid type variable bound by
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
-                 at WarningWildcardInstantiations.hs:9:1
-    In the type signature for ‘bar’: _ -> _ -> _
+WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘t -> w’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: t -> (t -> w) -> w
+               at WarningWildcardInstantiations.hs:9:1-13
+             ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: t -> (t -> w) -> w
+               at WarningWildcardInstantiations.hs:9:1-13
+    • In the type signature: bar :: _ -> _ -> _
 
-WarningWildcardInstantiations.hs:8:18: Warning:
-    Found hole ‘_’ with type: w_1
-    Where: ‘w_1’ is a rigid type variable bound by
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
-                 at WarningWildcardInstantiations.hs:9:1
-    In the type signature for ‘bar’: _ -> _ -> _
+WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: t -> (t -> w) -> w
+               at WarningWildcardInstantiations.hs:9:1-13
+    • In the type signature: bar :: _ -> _ -> _