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