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/typecheck/should_fail/T7525.stderr | |
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/typecheck/should_fail/T7525.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7525.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7525.stderr b/testsuite/tests/typecheck/should_fail/T7525.stderr index ecf3eb1ab0..4d6f8d3a90 100644 --- a/testsuite/tests/typecheck/should_fail/T7525.stderr +++ b/testsuite/tests/typecheck/should_fail/T7525.stderr @@ -1,8 +1,8 @@ T7525.hs:5:30: - Could not deduce (?b::Bool) + Could not deduce: ?b::Bool arising from a use of implicit parameter ‘?b’ - from the context (?a::Bool) + from the context: ?a::Bool bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31 In the second argument of ‘(&&)’, namely ‘?b’ In the expression: ?a && ?b |