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/simplCore/should_compile/spec-inline.stderr | |
| 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/simplCore/should_compile/spec-inline.stderr')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/spec-inline.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/simplCore/should_compile/spec-inline.stderr b/testsuite/tests/simplCore/should_compile/spec-inline.stderr index 07b04c215e..8c615305d5 100644 --- a/testsuite/tests/simplCore/should_compile/spec-inline.stderr +++ b/testsuite/tests/simplCore/should_compile/spec-inline.stderr @@ -56,7 +56,7 @@ lvl = "spec-inline.hs:(19,5)-(29,25)|function go"# Roman.foo3 :: Int [GblId, Str=b] Roman.foo3 - = Control.Exception.Base.patError @ 'GHC.Types.LiftedRep @ Int lvl + = Control.Exception.Base.patError @'GHC.Types.LiftedRep @Int lvl Rec { -- RHS size: {terms: 40, types: 5, coercions: 0, joins: 0/0} @@ -149,7 +149,7 @@ Roman.foo1 :: Maybe Int Str=m2, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] -Roman.foo1 = GHC.Maybe.Just @ Int Roman.foo2 +Roman.foo1 = GHC.Maybe.Just @Int Roman.foo2 -- RHS size: {terms: 11, types: 4, coercions: 0, joins: 0/0} foo :: Int -> Int @@ -162,7 +162,7 @@ foo :: Int -> Int Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) Tmpl= \ (n [Occ=Once!] :: Int) -> case n of n1 [Occ=Once] { GHC.Types.I# _ [Occ=Dead] -> - Roman.foo_go (GHC.Maybe.Just @ Int n1) Roman.foo1 + Roman.foo_go (GHC.Maybe.Just @Int n1) Roman.foo1 }}] foo = \ (n :: Int) -> @@ -174,8 +174,8 @@ foo ------ Local rules for imported ids -------- "SC:$wgo0" [2] forall (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#). - Roman.$wgo (GHC.Maybe.Just @ Int (GHC.Types.I# sc1)) - (GHC.Maybe.Just @ Int (GHC.Types.I# sc)) + Roman.$wgo (GHC.Maybe.Just @Int (GHC.Types.I# sc1)) + (GHC.Maybe.Just @Int (GHC.Types.I# sc)) = Roman.foo_$s$wgo sc sc1 |