Add location to the extra-constraints wildcard
[ghc.git] / testsuite / tests / partial-sigs / should_fail / WildcardInstantiations.stderr
index 02e9c97..a6c2136 100644 (file)
@@ -1,14 +1,14 @@
 
-WildcardInstantiations.hs:5:8: error:
-    • Found type wildcard ‘_’ standing for ‘Enum a’
+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:14: error:
-    • Found type wildcard ‘_a’ standing for ‘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