ghc-prim: Bump version
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
index 19ed2e1..5d9ffd2 100644 (file)
@@ -1,60 +1,50 @@
-TYPE SIGNATURES\r
-  bar :: forall t t1. t1 -> (t1 -> t) -> t\r
-  foo :: forall a. (Show a, Enum a) => a -> String\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.1]\r
-\r
-WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
-    • Found type wildcard ‘_a’ standing for ‘a’\r
-      Where: ‘a’ is a rigid type variable bound by\r
-               the inferred type of foo :: (Enum a, Show a) => a -> String\r
-               at WarningWildcardInstantiations.hs:6:1\r
-    • In the type signature: foo :: (Show _a, _) => _a -> _\r
-    • Relevant bindings include\r
-        foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)\r
-\r
-WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
-    Found constraint wildcard ‘_’ standing for ‘Enum a’\r
-    In the type signature: foo :: (Show _a, _) => _a -> _\r
-\r
-WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
-    • Found type wildcard ‘_’ standing for ‘String’\r
-    • In the type signature: foo :: (Show _a, _) => _a -> _\r
-    • Relevant bindings include\r
-        foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)\r
-\r
-WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
-    • Found type wildcard ‘_’ standing for ‘t1’\r
-      Where: ‘t1’ is a rigid type variable bound by\r
-               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
-               at WarningWildcardInstantiations.hs:9:1\r
-    • In the type signature: bar :: _ -> _ -> _\r
-    • Relevant bindings include\r
-        bar :: t1 -> (t1 -> t) -> t\r
-          (bound at WarningWildcardInstantiations.hs:9:1)\r
-\r
-WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
-    • Found type wildcard ‘_’ standing for ‘t1 -> t’\r
-      Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
-               at WarningWildcardInstantiations.hs:9:1\r
-             ‘t1’ is a rigid type variable bound by\r
-               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
-               at WarningWildcardInstantiations.hs:9:1\r
-    • In the type signature: bar :: _ -> _ -> _\r
-    • Relevant bindings include\r
-        bar :: t1 -> (t1 -> t) -> t\r
-          (bound at WarningWildcardInstantiations.hs:9:1)\r
-\r
-WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
-    • Found type wildcard ‘_’ standing for ‘t’\r
-      Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
-               at WarningWildcardInstantiations.hs:9:1\r
-    • In the type signature: bar :: _ -> _ -> _\r
-    • Relevant bindings include\r
-        bar :: t1 -> (t1 -> t) -> t\r
-          (bound at WarningWildcardInstantiations.hs:9:1)\r
+TYPE SIGNATURES
+  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.10.0.0, ghc-prim-0.5.1.0,
+                     integer-gmp-1.0.0.1]
+
+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: [-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: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘String’
+    • In the type signature: foo :: (Show _a, _) => _a -> _
+
+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: [-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: [-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 :: _ -> _ -> _