summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/should_run/T16096.stdout
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2020-01-06 15:26:21 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-01-08 06:17:47 -0500
commit923a127205dd60147453f4420614efd1be29f070 (patch)
tree08756ee0f8baef622d5ca3cb2f021a3c51cd43ef /testsuite/tests/ghci/should_run/T16096.stdout
parentd589410f6bf394c8aca53f18848bbe4dfca92f23 (diff)
downloadhaskell-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/ghci/should_run/T16096.stdout')
-rw-r--r--testsuite/tests/ghci/should_run/T16096.stdout30
1 files changed, 10 insertions, 20 deletions
diff --git a/testsuite/tests/ghci/should_run/T16096.stdout b/testsuite/tests/ghci/should_run/T16096.stdout
index 8b87b7d61c..6b34692d54 100644
--- a/testsuite/tests/ghci/should_run/T16096.stdout
+++ b/testsuite/tests/ghci/should_run/T16096.stdout
@@ -10,20 +10,15 @@ letrec {
letrec {
x :: [GHC.Types.Int]
[LclId]
- x = GHC.Enum.enumFrom
- @ GHC.Types.Int $dEnum (GHC.Types.I# 1#); } in
+ x = GHC.Enum.enumFrom @GHC.Types.Int $dEnum (GHC.Types.I# 1#); } in
x; } in
GHC.Base.returnIO
- @ [()]
+ @[()]
(GHC.Types.:
- @ ()
+ @()
(GHC.Prim.unsafeCoerce#
- @ 'GHC.Types.LiftedRep
- @ 'GHC.Types.LiftedRep
- @ [GHC.Types.Int]
- @ ()
- x)
- (GHC.Types.[] @ ()))
+ @'GHC.Types.LiftedRep @'GHC.Types.LiftedRep @[GHC.Types.Int] @() x)
+ (GHC.Types.[] @()))
@@ -38,19 +33,14 @@ letrec {
letrec {
x :: [GHC.Types.Int]
[LclId]
- x = GHC.Enum.enumFrom
- @ GHC.Types.Int $dEnum (GHC.Types.I# 1#); } in
+ x = GHC.Enum.enumFrom @GHC.Types.Int $dEnum (GHC.Types.I# 1#); } in
x; } in
GHC.Base.returnIO
- @ [()]
+ @[()]
(GHC.Types.:
- @ ()
+ @()
(GHC.Prim.unsafeCoerce#
- @ 'GHC.Types.LiftedRep
- @ 'GHC.Types.LiftedRep
- @ [GHC.Types.Int]
- @ ()
- x)
- (GHC.Types.[] @ ()))
+ @'GHC.Types.LiftedRep @'GHC.Types.LiftedRep @[GHC.Types.Int] @() x)
+ (GHC.Types.[] @()))