diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-06-19 09:01:51 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-06-20 08:16:44 +0100 |
| commit | 0ceb84e9668ba05d9a0ec49046ad7b4c2557a484 (patch) | |
| tree | 427d783e2701a7565a1728c6aeb4ba8df548ca55 /testsuite/tests/polykinds | |
| parent | b6693d3096c810b925af1899b45867482bcc81cf (diff) | |
| download | haskell-0ceb84e9668ba05d9a0ec49046ad7b4c2557a484.tar.gz | |
Tidy up the printing of single-predicate contexts
This covers things like
Eq a => blah and (?x::Int) => blah
where there is just one predicate. Previously we used an ad-hoc
test to decide whether to parenthesise it, but acutally there is
a much simpler solution: just use the existing precedence mechamism.
This applies both to Type and HsType.
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T7278.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T7278.stderr b/testsuite/tests/polykinds/T7278.stderr index f24f9b2aad..3d615c12f7 100644 --- a/testsuite/tests/polykinds/T7278.stderr +++ b/testsuite/tests/polykinds/T7278.stderr @@ -2,4 +2,4 @@ T7278.hs:8:43: âtâ is applied to too many type arguments In the type signature for âfâ: - f :: C (t :: k) (TF t) => TF t p1 p0 -> t p1 p0 + f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0 |