From 923a127205dd60147453f4420614efd1be29f070 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 6 Jan 2020 15:26:21 -0500 Subject: 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. --- testsuite/tests/ghci/should_run/T16096.stdout | 30 +++++++++------------------ 1 file changed, 10 insertions(+), 20 deletions(-) (limited to 'testsuite/tests/ghci/should_run/T16096.stdout') 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.[] @())) -- cgit v1.2.1