diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-01-06 15:26:21 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-08 06:17:47 -0500 |
| commit | 923a127205dd60147453f4420614efd1be29f070 (patch) | |
| tree | 08756ee0f8baef622d5ca3cb2f021a3c51cd43ef /testsuite/tests/rename | |
| parent | d589410f6bf394c8aca53f18848bbe4dfca92f23 (diff) | |
| download | haskell-923a127205dd60147453f4420614efd1be29f070.tar.gz | |
Print Core type applications with no whitespace after @ (#17643)
This brings the pretty-printer for Core in line with how visible
type applications are normally printed: namely, with no whitespace
after the `@` character (i.e., `f @a` instead of `f @ a`). While I'm
in town, I also give the same treatment to type abstractions (i.e.,
`\(@a)` instead of `\(@ a)`) and coercion applications (i.e.,
`f @~x` instead of `f @~ x`).
Fixes #17643.
Diffstat (limited to 'testsuite/tests/rename')
| -rw-r--r-- | testsuite/tests/rename/should_compile/ExplicitForAllRules1.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/rename/should_compile/ExplicitForAllRules1.stderr b/testsuite/tests/rename/should_compile/ExplicitForAllRules1.stderr index 5dfdb4a570..a233fb4f50 100644 --- a/testsuite/tests/rename/should_compile/ExplicitForAllRules1.stderr +++ b/testsuite/tests/rename/should_compile/ExplicitForAllRules1.stderr @@ -2,12 +2,12 @@ ExplicitForAllRules1.hs:49:11: warning: Forall'd type variable ‘k’ is not bound in RULE lhs Orig bndrs: [k, a, b, x] - Orig lhs: id' @ a x - optimised lhs: id' @ a x + Orig lhs: id' @a x + optimised lhs: id' @a x Forall'd type variable ‘b’ is not bound in RULE lhs Orig bndrs: [k, a, b, x] - Orig lhs: id' @ a x - optimised lhs: id' @ a x + Orig lhs: id' @a x + optimised lhs: id' @a x ExplicitForAllRules1.hs:49:31: warning: [-Wunused-foralls (in -Wextra)] Unused quantified type variable ‘b’ |