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

==================== Tidy Core ====================
3
Result size of Tidy Core = {terms: 36, types: 14, coercions: 0}
Simon Peyton Jones's avatar
Simon Peyton Jones committed
4

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

Ben Gamari's avatar
Ben Gamari committed
17
-- RHS size: {terms: 14, types: 5, coercions: 0}
18
foo [InlPrag=NOINLINE] :: Int -> ()
19
[GblId, Arity=1, Caf=NoCafRefs, Str=<S(S),1*U(U)>]
20 21
foo =
  \ (n :: Int) ->
22 23
    case n of { GHC.Types.I# y ->
    case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# 0# y) of {
24
      False -> GHC.Tuple.();
25
      True -> $wxs y
Simon Peyton Jones's avatar
Simon Peyton Jones committed
26 27
    }
    }
Simon Peyton Jones's avatar
Simon Peyton Jones committed
28

29
-- RHS size: {terms: 2, types: 0, coercions: 0}
30
T3772.$trModule1 :: GHC.Types.TrName
31 32
[GblId,
 Caf=NoCafRefs,
33
 Str=m1,
34 35
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
36
T3772.$trModule1 = GHC.Types.TrNameS "T3772"#
37 38

-- RHS size: {terms: 2, types: 0, coercions: 0}
39
T3772.$trModule2 :: GHC.Types.TrName
40 41
[GblId,
 Caf=NoCafRefs,
42
 Str=m1,
43 44
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
45
T3772.$trModule2 = GHC.Types.TrNameS "main"#
46 47

-- RHS size: {terms: 3, types: 0, coercions: 0}
48
T3772.$trModule :: GHC.Types.Module
49
[GblId,
50
 Caf=NoCafRefs,
51
 Str=m,
52 53
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
54 55
T3772.$trModule =
  GHC.Types.Module T3772.$trModule2 T3772.$trModule1
56

Simon Peyton Jones's avatar
Simon Peyton Jones committed
57 58