diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-10-02 17:47:21 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-10-07 08:03:31 +0100 |
| commit | 48089ccf4f1f239b3268b2cb52b8aa0f7356485b (patch) | |
| tree | 3cb31487ed2d7f9369f7d13a188e4f0167840009 /testsuite/tests/polykinds/T7230.stderr | |
| parent | 2b59c7ac3f23dd229ddff20d991528ac742dfd24 (diff) | |
| download | haskell-48089ccf4f1f239b3268b2cb52b8aa0f7356485b.tar.gz | |
Use correct precedence when printing contexts with class operators
Fixes Trac #9658
Diffstat (limited to 'testsuite/tests/polykinds/T7230.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7230.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index 0c34249223..9ec952a7ba 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -3,7 +3,8 @@ T7230.hs:48:32: Could not deduce ((x :<<= x1) ~ 'True) from the context (Increasing xs ~ 'True) bound by the type signature for - crash :: Increasing xs ~ 'True => SList xs -> SBool (Increasing xs) + crash :: (Increasing xs ~ 'True) => + SList xs -> SBool (Increasing xs) at T7230.hs:47:10-68 or from (xs ~ (x : xs1)) bound by a pattern with constructor |