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/T13143.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/T13143.stderr')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T13143.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T13143.stderr b/testsuite/tests/simplCore/should_compile/T13143.stderr index ddc8b1169b..eb9622b16b 100644 --- a/testsuite/tests/simplCore/should_compile/T13143.stderr +++ b/testsuite/tests/simplCore/should_compile/T13143.stderr @@ -8,7 +8,7 @@ Rec { T13143.$wf [InlPrag=NOINLINE, Occ=LoopBreaker] :: forall a. GHC.Prim.Void# -> a [GblId, Arity=1, Caf=NoCafRefs, Str=<B,A>b, Unf=OtherCon []] -T13143.$wf = \ (@ a) _ [Occ=Dead] -> T13143.$wf @ a GHC.Prim.void# +T13143.$wf = \ (@a) _ [Occ=Dead] -> T13143.$wf @a GHC.Prim.void# end Rec } -- RHS size: {terms: 4, types: 4, coercions: 0, joins: 0/0} @@ -20,8 +20,8 @@ f [InlPrag=NOUSERINLINE[0]] :: forall a. Int -> a Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True) - Tmpl= \ (@ a) _ [Occ=Dead] -> T13143.$wf @ a GHC.Prim.void#}] -f = \ (@ a) _ [Occ=Dead] -> T13143.$wf @ a GHC.Prim.void# + Tmpl= \ (@a) _ [Occ=Dead] -> T13143.$wf @a GHC.Prim.void#}] +f = \ (@a) _ [Occ=Dead] -> T13143.$wf @a GHC.Prim.void# -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T13143.$trModule4 :: GHC.Prim.Addr# @@ -70,7 +70,7 @@ T13143.$trModule -- RHS size: {terms: 2, types: 1, coercions: 0, joins: 0/0} lvl :: Int [GblId, Str=b] -lvl = T13143.$wf @ Int GHC.Prim.void# +lvl = T13143.$wf @Int GHC.Prim.void# Rec { -- RHS size: {terms: 28, types: 7, coercions: 0, joins: 0/0} |