diff options
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T7116.stdout')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T7116.stdout | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/numeric/should_compile/T7116.stdout b/testsuite/tests/numeric/should_compile/T7116.stdout index 9e5d19e3e0..2ff1608bef 100644 --- a/testsuite/tests/numeric/should_compile/T7116.stdout +++ b/testsuite/tests/numeric/should_compile/T7116.stdout @@ -2,7 +2,7 @@ ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 22, types: 14, coercions: 0} -T7116.dl :: GHC.Types.Double -> GHC.Types.Double +dl :: Double -> Double [GblId, Arity=1, Caf=NoCafRefs, @@ -10,17 +10,17 @@ T7116.dl :: GHC.Types.Double -> GHC.Types.Double Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) - Tmpl= \ (x [Occ=Once!] :: GHC.Types.Double) -> + Tmpl= \ (x [Occ=Once!] :: Double) -> case x of _ [Occ=Dead] { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) }}] -T7116.dl = - \ (x :: GHC.Types.Double) -> +dl = + \ (x :: Double) -> case x of _ [Occ=Dead] { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) } -T7116.dr :: GHC.Types.Double -> GHC.Types.Double +dr :: Double -> Double [GblId, Arity=1, Caf=NoCafRefs, @@ -28,13 +28,13 @@ T7116.dr :: GHC.Types.Double -> GHC.Types.Double Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) - Tmpl= \ (x [Occ=Once!] :: GHC.Types.Double) -> + Tmpl= \ (x [Occ=Once!] :: Double) -> case x of _ [Occ=Dead] { GHC.Types.D# x1 -> GHC.Types.D# (GHC.Prim.+## x1 x1) }}] -T7116.dr = T7116.dl +dr = dl -T7116.fl :: GHC.Types.Float -> GHC.Types.Float +fl :: Float -> Float [GblId, Arity=1, Caf=NoCafRefs, @@ -42,17 +42,17 @@ T7116.fl :: GHC.Types.Float -> GHC.Types.Float Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) - Tmpl= \ (x [Occ=Once!] :: GHC.Types.Float) -> + Tmpl= \ (x [Occ=Once!] :: Float) -> case x of _ [Occ=Dead] { GHC.Types.F# y -> GHC.Types.F# (GHC.Prim.plusFloat# y y) }}] -T7116.fl = - \ (x :: GHC.Types.Float) -> +fl = + \ (x :: Float) -> case x of _ [Occ=Dead] { GHC.Types.F# y -> GHC.Types.F# (GHC.Prim.plusFloat# y y) } -T7116.fr :: GHC.Types.Float -> GHC.Types.Float +fr :: Float -> Float [GblId, Arity=1, Caf=NoCafRefs, @@ -60,11 +60,11 @@ T7116.fr :: GHC.Types.Float -> GHC.Types.Float Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) - Tmpl= \ (x [Occ=Once!] :: GHC.Types.Float) -> + Tmpl= \ (x [Occ=Once!] :: Float) -> case x of _ [Occ=Dead] { GHC.Types.F# x1 -> GHC.Types.F# (GHC.Prim.plusFloat# x1 x1) }}] -T7116.fr = T7116.fl +fr = fl |