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/tcfail108.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/tcfail108.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail108.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail108.stderr b/testsuite/tests/typecheck/should_fail/tcfail108.stderr index 490640f74b..b23e9d91a5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail108.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail108.stderr @@ -2,6 +2,6 @@ tcfail108.hs:7:10: Non type-variable argument in the constraint: Eq (f (Rec f)) (Use FlexibleContexts to permit this) - In the context: (Eq (f (Rec f))) + In the context: Eq (f (Rec f)) While checking an instance declaration In the instance declaration for ‘Eq (Rec f)’ |