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/deSugar/should_compile | |
| 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/deSugar/should_compile')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T2431.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index dbafaedf82..c40b603d3f 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -13,7 +13,7 @@ T2431.$WRefl [InlPrag=INLINE] :: forall a. a T2431.:~: a T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N T2431.absurd - :: forall a. (GHC.Types.Int T2431.:~: GHC.Types.Bool) -> a + :: forall a. GHC.Types.Int T2431.:~: GHC.Types.Bool -> a [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b] T2431.absurd = \ (@ a) (x :: GHC.Types.Int T2431.:~: GHC.Types.Bool) -> |