T4908.stderr 2.77 KB
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2

==================== Tidy Core ====================
3 4 5 6 7 8
Result size of Tidy Core = {terms: 64, types: 41, coercions: 0}

-- RHS size: {terms: 2, types: 0, coercions: 0}
T4908.$trModule2 :: TrName
[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
T4908.$trModule2 = GHC.Types.TrNameS "main"#
13 14 15 16 17

-- RHS size: {terms: 2, types: 0, coercions: 0}
T4908.$trModule1 :: TrName
[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
T4908.$trModule1 = GHC.Types.TrNameS "T4908"#
22 23 24

-- RHS size: {terms: 3, types: 0, coercions: 0}
T4908.$trModule :: 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
T4908.$trModule =
  GHC.Types.Module T4908.$trModule2 T4908.$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: 19, types: 5, coercions: 0}
35
T4908.f_$s$wf [Occ=LoopBreaker] :: Int -> Int# -> Int# -> Bool
36
[GblId, Arity=3, Caf=NoCafRefs, Str=<L,A><L,U><S,1*U>]
Simon Peyton Jones's avatar
Simon Peyton Jones committed
37
T4908.f_$s$wf =
38 39
  \ (sc :: Int) (sc1 :: Int#) (sc2 :: Int#) ->
    case sc2 of ds {
Simon Peyton Jones's avatar
Simon Peyton Jones committed
40
      __DEFAULT ->
41 42
        case sc1 of ds1 {
          __DEFAULT -> T4908.f_$s$wf sc ds1 (-# ds 1#);
43
          0# -> GHC.Types.True
Simon Peyton Jones's avatar
Simon Peyton Jones committed
44
        };
45
      0# -> GHC.Types.True
Simon Peyton Jones's avatar
Simon Peyton Jones committed
46 47 48
    }
end Rec }

Ben Gamari's avatar
Ben Gamari committed
49
-- RHS size: {terms: 24, types: 13, coercions: 0}
50
T4908.$wf [InlPrag=[0]] :: Int# -> (Int, Int) -> Bool
Simon Peyton Jones's avatar
Simon Peyton Jones committed
51 52 53
[GblId,
 Arity=2,
 Caf=NoCafRefs,
54
 Str=<S,1*U><L,1*U(A,U(U))>,
Simon Peyton Jones's avatar
Simon Peyton Jones committed
55 56
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [30 20] 101 20}]
Simon Peyton Jones's avatar
Simon Peyton Jones committed
57
T4908.$wf =
58
  \ (ww :: Int#) (w :: (Int, Int)) ->
Simon Peyton Jones's avatar
Simon Peyton Jones committed
59 60
    case ww of ds {
      __DEFAULT ->
61 62
        case w of { (a, b) ->
        case b of { I# ds1 ->
Simon Peyton Jones's avatar
Simon Peyton Jones committed
63
        case ds1 of ds2 {
64
          __DEFAULT -> T4908.f_$s$wf a ds2 (-# ds 1#);
65
          0# -> GHC.Types.True
Simon Peyton Jones's avatar
Simon Peyton Jones committed
66 67 68
        }
        }
        };
69
      0# -> GHC.Types.True
Simon Peyton Jones's avatar
Simon Peyton Jones committed
70 71
    }

Ben Gamari's avatar
Ben Gamari committed
72
-- RHS size: {terms: 8, types: 6, coercions: 0}
73
f [InlPrag=INLINE[0]] :: Int -> (Int, Int) -> Bool
Simon Peyton Jones's avatar
Simon Peyton Jones committed
74 75 76
[GblId,
 Arity=2,
 Caf=NoCafRefs,
77
 Str=<S(S),1*U(1*U)><L,1*U(A,U(U))>,
Simon Peyton Jones's avatar
Simon Peyton Jones committed
78 79 80
 Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)
81
         Tmpl= \ (w [Occ=Once!] :: Int) (w1 [Occ=Once] :: (Int, Int)) ->
82
                 case w of { I# ww1 [Occ=Once] -> T4908.$wf ww1 w1 }}]
83 84
f =
  \ (w :: Int) (w1 :: (Int, Int)) ->
85
    case w of { I# ww1 -> T4908.$wf ww1 w1 }
Simon Peyton Jones's avatar
Simon Peyton Jones committed
86 87 88


------ Local rules for imported ids --------
89
"SC:$wf0" [0]
90
    forall (sc :: Int) (sc1 :: Int#) (sc2 :: Int#).
91
      T4908.$wf sc2 (sc, GHC.Types.I# sc1)
Simon Peyton Jones's avatar
Simon Peyton Jones committed
92 93 94
      = T4908.f_$s$wf sc sc1 sc2