T3772.stdout 2.74 KB
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2

==================== Tidy Core ====================
lukemaurer's avatar
lukemaurer committed
3
Result size of Tidy Core
4
  = {terms: 44, types: 19, coercions: 0, joins: 0/0}
Simon Peyton Jones's avatar
Simon Peyton Jones committed
5

Simon Peyton Jones's avatar
Simon Peyton Jones committed
6
Rec {
lukemaurer's avatar
lukemaurer committed
7
-- RHS size: {terms: 10, types: 2, coercions: 0, joins: 0/0}
8
$wxs :: GHC.Prim.Int# -> ()
9
[GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
Simon Peyton Jones's avatar
Simon Peyton Jones committed
10 11 12 13 14 15
$wxs
  = \ (ww :: GHC.Prim.Int#) ->
      case ww of ds1 {
        __DEFAULT -> $wxs (GHC.Prim.-# ds1 1#);
        1# -> GHC.Tuple.()
      }
Simon Peyton Jones's avatar
Simon Peyton Jones committed
16 17
end Rec }

18 19 20
-- RHS size: {terms: 11, types: 3, coercions: 0, joins: 0/0}
T3772.$wfoo [InlPrag=NOINLINE] :: GHC.Prim.Int# -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=<S,U>]
Simon Peyton Jones's avatar
Simon Peyton Jones committed
21 22 23 24 25 26
T3772.$wfoo
  = \ (ww :: GHC.Prim.Int#) ->
      case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# 0# ww) of {
        False -> GHC.Tuple.();
        True -> $wxs ww
      }
Simon Peyton Jones's avatar
Simon Peyton Jones committed
27

28 29 30 31 32 33 34 35 36 37 38
-- RHS size: {terms: 6, types: 3, coercions: 0, joins: 0/0}
foo [InlPrag=INLINE[0]] :: Int -> ()
[GblId,
 Arity=1,
 Caf=NoCafRefs,
 Str=<S(S),1*U(U)>,
 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= \ (w [Occ=Once!] :: Int) ->
                 case w of { GHC.Types.I# ww1 [Occ=Once] -> T3772.$wfoo ww1 }}]
Simon Peyton Jones's avatar
Simon Peyton Jones committed
39 40
foo
  = \ (w :: Int) -> case w of { GHC.Types.I# ww1 -> T3772.$wfoo ww1 }
41

lukemaurer's avatar
lukemaurer committed
42
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
43 44 45 46 47 48 49
T3772.$trModule2 :: GHC.Prim.Addr#
[GblId,
 Caf=NoCafRefs,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
T3772.$trModule2 = "T3772"#

lukemaurer's avatar
lukemaurer committed
50
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
51
T3772.$trModule1 :: GHC.Types.TrName
52 53
[GblId,
 Caf=NoCafRefs,
54
 Str=m1,
55
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
56 57 58
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
T3772.$trModule1 = GHC.Types.TrNameS T3772.$trModule2

lukemaurer's avatar
lukemaurer committed
59
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
60 61 62 63 64 65
T3772.$trModule4 :: GHC.Prim.Addr#
[GblId,
 Caf=NoCafRefs,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
T3772.$trModule4 = "main"#
66

lukemaurer's avatar
lukemaurer committed
67
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
68
T3772.$trModule3 :: GHC.Types.TrName
69 70
[GblId,
 Caf=NoCafRefs,
71
 Str=m1,
72
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
73 74
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
T3772.$trModule3 = GHC.Types.TrNameS T3772.$trModule4
75

lukemaurer's avatar
lukemaurer committed
76
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
77
T3772.$trModule :: GHC.Types.Module
78
[GblId,
79
 Caf=NoCafRefs,
80
 Str=m,
81 82
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Simon Peyton Jones's avatar
Simon Peyton Jones committed
83 84
T3772.$trModule
  = GHC.Types.Module T3772.$trModule3 T3772.$trModule1
85

Simon Peyton Jones's avatar
Simon Peyton Jones committed
86 87