diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr index cca986fab2..7fd885372e 100644 --- a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr +++ b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr @@ -1,13 +1,13 @@ - -InstantiatedNamedWildcardsInConstraints.hs:4:14: - Found hole ‘_a’ with type: b - Where: ‘b’ is a rigid type variable bound by - the inferred type of foo :: (Enum b, Show b) => b -> (String, b) - at InstantiatedNamedWildcardsInConstraints.hs:4:8 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b) - -InstantiatedNamedWildcardsInConstraints.hs:4:18: - Found hole ‘_’ with inferred constraints: Show b - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b) +
+InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
+ Found hole: _a :: b
+ Where: ‘b’ is a rigid type variable bound by
+ the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
+ at InstantiatedNamedWildcardsInConstraints.hs:4:8
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b)
+
+InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
+ Found hole ‘_’ with inferred constraints: Show b
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b)
|