T3717.stderr 1.97 KB
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2

==================== Tidy Core ====================
3 4 5
Result size of Tidy Core = {terms: 32, types: 13, coercions: 0}

-- RHS size: {terms: 2, types: 0, coercions: 0}
6
T3717.$trModule2 :: GHC.Types.TrName
7 8
[GblId,
 Caf=NoCafRefs,
9
 Str=m1,
10 11
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
12
T3717.$trModule2 = GHC.Types.TrNameS "main"#
13 14

-- RHS size: {terms: 2, types: 0, coercions: 0}
15
T3717.$trModule1 :: GHC.Types.TrName
16 17
[GblId,
 Caf=NoCafRefs,
18
 Str=m1,
19 20
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
21
T3717.$trModule1 = GHC.Types.TrNameS "T3717"#
22 23

-- RHS size: {terms: 3, types: 0, coercions: 0}
24
T3717.$trModule :: GHC.Types.Module
25
[GblId,
26
 Caf=NoCafRefs,
27
 Str=m,
28 29
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
30 31
T3717.$trModule =
  GHC.Types.Module T3717.$trModule2 T3717.$trModule1
Simon Peyton Jones's avatar
Simon Peyton Jones committed
32

Simon Peyton Jones's avatar
Simon Peyton Jones committed
33
Rec {
Ben Gamari's avatar
Ben Gamari committed
34
-- RHS size: {terms: 10, types: 2, coercions: 0}
35 36
T3717.$wfoo [InlPrag=[0], Occ=LoopBreaker]
  :: GHC.Prim.Int# -> GHC.Prim.Int#
37
[GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
38
T3717.$wfoo =
39
  \ (ww :: GHC.Prim.Int#) ->
Simon Peyton Jones's avatar
Simon Peyton Jones committed
40
    case ww of ds {
41
      __DEFAULT -> T3717.$wfoo (GHC.Prim.-# ds 1#);
42
      0# -> 0#
Simon Peyton Jones's avatar
Simon Peyton Jones committed
43 44 45
    }
end Rec }

Ben Gamari's avatar
Ben Gamari committed
46
-- RHS size: {terms: 10, types: 4, coercions: 0}
47
foo [InlPrag=INLINE[0]] :: Int -> Int
Simon Peyton Jones's avatar
Simon Peyton Jones committed
48 49 50
[GblId,
 Arity=1,
 Caf=NoCafRefs,
51
 Str=<S(S),1*U(1*U)>m,
Simon Peyton Jones's avatar
Simon Peyton Jones committed
52 53 54
 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)
55
         Tmpl= \ (w [Occ=Once!] :: Int) ->
56
                 case w of { GHC.Types.I# ww1 [Occ=Once] ->
57
                 case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
Simon Peyton Jones's avatar
Simon Peyton Jones committed
58
                 }}]
59 60
foo =
  \ (w :: Int) ->
61
    case w of { GHC.Types.I# ww1 ->
62
    case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
Simon Peyton Jones's avatar
Simon Peyton Jones committed
63 64 65 66
    }