Add location to the extra-constraints wildcard
[ghc.git] / testsuite / tests / partial-sigs / should_fail / WildcardInstantiations.stderr
index f8e7f7e..a6c2136 100644 (file)
@@ -1,45 +1,49 @@
-\r
-WildcardInstantiations.hs:5:14: error:\r
-    Found hole: _a :: w_a\r
-    Where: ‘w_a’ is a rigid type variable bound by\r
-                 the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String\r
-                 at WildcardInstantiations.hs:6:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WildcardInstantiations.hs:5:18: error:\r
-    Found hole ‘_’ with inferred constraints: Enum w_a\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WildcardInstantiations.hs:5:30: error:\r
-    Found hole: _ :: String\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WildcardInstantiations.hs:8:8: error:\r
-    Found hole: _ :: w_\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                at WildcardInstantiations.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
-\r
-WildcardInstantiations.hs:8:13: error:\r
-    Found hole: _ :: w_ -> w_1\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                at WildcardInstantiations.hs:9:1\r
-           ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                 at WildcardInstantiations.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
-\r
-WildcardInstantiations.hs:8:18: error:\r
-    Found hole: _ :: w_1\r
-    Where: ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                 at WildcardInstantiations.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
+
+WildcardInstantiations.hs:5:14: error:
+    • 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 WildcardInstantiations.hs:6:1-21
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:5:18: error:
+    • 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 WildcardInstantiations.hs:6:1-21
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:5:30: error:
+    • Found type wildcard ‘_’ standing for ‘String’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type ‘_a -> _’
+      In the type signature: foo :: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:8:8: error:
+    • Found type wildcard ‘_’ standing for ‘t’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: t -> (t -> _) -> _
+               at WildcardInstantiations.hs:9:1-13
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type ‘_ -> _ -> _’
+      In the type signature: bar :: _ -> _ -> _
+
+WildcardInstantiations.hs:8:13: error:
+    • Found type wildcard ‘_’ standing for ‘t -> _’
+      Where: ‘t’, ‘_’ are rigid type variables bound by
+               the inferred type of bar :: t -> (t -> _) -> _
+               at WildcardInstantiations.hs:9:1-13
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type ‘_ -> _ -> _’
+      In the type signature: bar :: _ -> _ -> _
+
+WildcardInstantiations.hs:8:18: error:
+    • Found type wildcard ‘_’ standing for ‘_’
+      Where: ‘_’ is a rigid type variable bound by
+               the inferred type of bar :: t -> (t -> _) -> _
+               at WildcardInstantiations.hs:9:1-13
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type ‘_ -> _ -> _’
+      In the type signature: bar :: _ -> _ -> _