Revert "Generate Typeable info at definition sites"
[ghc.git] / testsuite / tests / numeric / should_compile / T7116.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 22, types: 14, coercions: 0}
4
5 -- RHS size: {terms: 8, types: 3, coercions: 0}
6 dr :: Double -> Double
7 [GblId,
8  Arity=1,
9  Caf=NoCafRefs,
10  Str=DmdType <S,1*U(U)>m,
11  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
12          WorkFree=True, Expandable=True,
13          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
14          Tmpl= \ (x [Occ=Once!] :: Double) ->
15                  case x of _ [Occ=Dead] { D# x1 -> D# (+## x1 x1) }}]
16 dr =
17   \ (x :: Double) ->
18     case x of _ [Occ=Dead] { D# x1 -> D# (+## x1 x1) }
19
20 -- RHS size: {terms: 1, types: 0, coercions: 0}
21 dl :: Double -> Double
22 [GblId,
23  Arity=1,
24  Caf=NoCafRefs,
25  Str=DmdType <S,1*U(U)>m,
26  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
27          WorkFree=True, Expandable=True,
28          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
29          Tmpl= \ (x [Occ=Once!] :: Double) ->
30                  case x of _ [Occ=Dead] { D# y -> D# (+## y y) }}]
31 dl = dr
32
33 -- RHS size: {terms: 8, types: 3, coercions: 0}
34 fr :: Float -> Float
35 [GblId,
36  Arity=1,
37  Caf=NoCafRefs,
38  Str=DmdType <S,1*U(U)>m,
39  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
40          WorkFree=True, Expandable=True,
41          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
42          Tmpl= \ (x [Occ=Once!] :: Float) ->
43                  case x of _ [Occ=Dead] { F# x1 -> F# (plusFloat# x1 x1) }}]
44 fr =
45   \ (x :: Float) ->
46     case x of _ [Occ=Dead] { F# x1 -> F# (plusFloat# x1 x1) }
47
48 -- RHS size: {terms: 1, types: 0, coercions: 0}
49 fl :: Float -> Float
50 [GblId,
51  Arity=1,
52  Caf=NoCafRefs,
53  Str=DmdType <S,1*U(U)>m,
54  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
55          WorkFree=True, Expandable=True,
56          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
57          Tmpl= \ (x [Occ=Once!] :: Float) ->
58                  case x of _ [Occ=Dead] { F# y -> F# (plusFloat# y y) }}]
59 fl = fr
60
61
62