diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-05 12:56:46 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-06 14:18:53 +0000 |
commit | da9b2ec3e19edb1de0e73e8f32aa0443743f072c (patch) | |
tree | e917140da7b725bce9a44d048ac6013af113d6be /testsuite/tests/partial-sigs/should_fail | |
parent | d4f460feeb263f794774bf2fc330a48bde4ea81c (diff) | |
download | haskell-da9b2ec3e19edb1de0e73e8f32aa0443743f072c.tar.gz |
Print singleton consraints without parens
The main change is in TypeRep.pprTheta, so we print
Eq a
for a singleton, but
(Eq a, Show a)
for multiple constraints.
There are lots of trivial knock-on changes to error messages
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail')
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr index c1007c2a8f..64839127c7 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr @@ -1,5 +1,5 @@ ExtraConstraintsWildcardNotEnabled.hs:4:10: - Found hole ‘_’ with inferred constraints: (Show a) + Found hole ‘_’ with inferred constraints: Show a To use the inferred type, enable PartialTypeSignatures In the type signature for ‘show'’: _ => a -> String diff --git a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr index 4a80c48e30..cca986fab2 100644 --- a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr +++ b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr @@ -8,6 +8,6 @@ InstantiatedNamedWildcardsInConstraints.hs:4:14: In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b) InstantiatedNamedWildcardsInConstraints.hs:4:18: - Found hole ‘_’ with inferred constraints: (Show b) + 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) diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr index 5701bfd623..29f700bf89 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr @@ -8,7 +8,7 @@ WildcardInstantiations.hs:5:14: In the type signature for ‘foo’: (Show _a, _) => _a -> _ WildcardInstantiations.hs:5:18: - Found hole ‘_’ with inferred constraints: (Enum w_a) + Found hole ‘_’ with inferred constraints: Enum w_a To use the inferred type, enable PartialTypeSignatures In the type signature for ‘foo’: (Show _a, _) => _a -> _ |