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/numeric | |
| 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/numeric')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T14465.stdout | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/numeric/should_compile/T14465.stdout b/testsuite/tests/numeric/should_compile/T14465.stdout index b7c88c40ac..88ac5f70e0 100644 --- a/testsuite/tests/numeric/should_compile/T14465.stdout +++ b/testsuite/tests/numeric/should_compile/T14465.stdout @@ -71,10 +71,10 @@ minusOne = case M.minusOne1 of { NatS# ds1 -> case ds1 of { - __DEFAULT -> GHC.Natural.underflowError @ Natural; + __DEFAULT -> GHC.Natural.underflowError @Natural; 0## -> GHC.Natural.zero }; - NatJ# ipv -> GHC.Natural.underflowError @ Natural + NatJ# ipv -> GHC.Natural.underflowError @Natural } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} |