diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-07 14:54:56 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-07 15:10:25 +0100 |
| commit | c897613bbf6336d00c9b5433268cb5813308bee9 (patch) | |
| tree | 25af8bc9a0cdc2858f7aa6b2a75c7b02651ebc9f /testsuite/tests/numeric/should_compile/T7116.stdout | |
| parent | 547c597112954353cef7157cb0a389bc4f6303eb (diff) | |
| download | haskell-c897613bbf6336d00c9b5433268cb5813308bee9.tar.gz | |
Error msg wibbles from reduced module prefixes
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T7116.stdout')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T7116.stdout | 127 |
1 files changed, 57 insertions, 70 deletions
diff --git a/testsuite/tests/numeric/should_compile/T7116.stdout b/testsuite/tests/numeric/should_compile/T7116.stdout index 2ff1608bef..520460da36 100644 --- a/testsuite/tests/numeric/should_compile/T7116.stdout +++ b/testsuite/tests/numeric/should_compile/T7116.stdout @@ -1,70 +1,57 @@ - -==================== Tidy Core ==================== -Result size of Tidy Core = {terms: 22, types: 14, coercions: 0} - -dl :: Double -> Double -[GblId, - Arity=1, - Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, - 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!] :: Double) -> - case x of _ [Occ=Dead] { GHC.Types.D# y -> - GHC.Types.D# (GHC.Prim.+## y y) - }}] -dl = - \ (x :: Double) -> - case x of _ [Occ=Dead] { GHC.Types.D# y -> - GHC.Types.D# (GHC.Prim.+## y y) - } - -dr :: Double -> Double -[GblId, - Arity=1, - Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, - 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!] :: Double) -> - case x of _ [Occ=Dead] { GHC.Types.D# x1 -> - GHC.Types.D# (GHC.Prim.+## x1 x1) - }}] -dr = dl - -fl :: Float -> Float -[GblId, - Arity=1, - Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, - 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!] :: Float) -> - case x of _ [Occ=Dead] { GHC.Types.F# y -> - GHC.Types.F# (GHC.Prim.plusFloat# y y) - }}] -fl = - \ (x :: Float) -> - case x of _ [Occ=Dead] { GHC.Types.F# y -> - GHC.Types.F# (GHC.Prim.plusFloat# y y) - } - -fr :: Float -> Float -[GblId, - Arity=1, - Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, - 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!] :: Float) -> - case x of _ [Occ=Dead] { GHC.Types.F# x1 -> - GHC.Types.F# (GHC.Prim.plusFloat# x1 x1) - }}] -fr = fl - - - +
+==================== Tidy Core ====================
+Result size of Tidy Core = {terms: 22, types: 14, coercions: 0}
+
+dl :: Double -> Double
+[GblId,
+ Arity=1,
+ Caf=NoCafRefs,
+ Str=DmdType <S,1*U(U)>m,
+ 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!] :: Double) ->
+ case x of _ [Occ=Dead] { D# y -> D# (+## y y) }}]
+dl =
+ \ (x :: Double) -> case x of _ [Occ=Dead] { D# y -> D# (+## y y) }
+
+dr :: Double -> Double
+[GblId,
+ Arity=1,
+ Caf=NoCafRefs,
+ Str=DmdType <S,1*U(U)>m,
+ 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!] :: Double) ->
+ case x of _ [Occ=Dead] { D# x1 -> D# (+## x1 x1) }}]
+dr = dl
+
+fl :: Float -> Float
+[GblId,
+ Arity=1,
+ Caf=NoCafRefs,
+ Str=DmdType <S,1*U(U)>m,
+ 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!] :: Float) ->
+ case x of _ [Occ=Dead] { F# y -> F# (plusFloat# y y) }}]
+fl =
+ \ (x :: Float) ->
+ case x of _ [Occ=Dead] { F# y -> F# (plusFloat# y y) }
+
+fr :: Float -> Float
+[GblId,
+ Arity=1,
+ Caf=NoCafRefs,
+ Str=DmdType <S,1*U(U)>m,
+ 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!] :: Float) ->
+ case x of _ [Occ=Dead] { F# x1 -> F# (plusFloat# x1 x1) }}]
+fr = fl
+
+
+
|