diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-02-03 21:17:11 +0100 |
---|---|---|
committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-02-04 00:16:40 +0100 |
commit | 77cca55cb7f9ffc9ce7f165aeddb93e81a833a41 (patch) | |
tree | 12f3c808371d9060c8256793d64c6a9f668b62ee /testsuite/tests/partial-sigs/should_fail/T14584a.stderr | |
parent | 58ed6c4a0999c0025b1b024bc26171fa6d6773b3 (diff) | |
download | haskell-wip/display-inferred.tar.gz |
Always display inferred variables using braceswip/display-inferred
We now always show "forall {a}. T" for inferred variables,
previously this was controlled by -fprint-explicit-foralls.
This implements part 1 of https://github.com/ghc-proposals/ghc-proposals/pull/179.
Part of GHC ticket #16320.
Furthermore, when printing a levity restriction error, we now display
the HsWrap of the expression. This lets users see the full elaboration with
-fprint-typechecker-elaboration (see also #17670)
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T14584a.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T14584a.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T14584a.stderr b/testsuite/tests/partial-sigs/should_fail/T14584a.stderr index 5687dcec51..8c98b76ae2 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584a.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14584a.stderr @@ -14,7 +14,7 @@ T14584a.hs:12:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘m -> m’ Where: ‘m’, ‘k’ are rigid type variables bound by the type signature for: - f :: forall k2 (m :: k2). () + f :: forall {k2} (m :: k2). () at T14584a.hs:11:1-17 • In an expression type signature: _ In the expression: id @m :: _ |