T4908.stderr 2.06 KB
Newer Older
simonpj's avatar
simonpj committed
1
2
3
4
5

==================== Tidy Core ====================
Rec {
T4908.f_$s$wf [Occ=LoopBreaker]
  :: GHC.Types.Int
Simon Marlow's avatar
Simon Marlow committed
6
     -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool
simonpj's avatar
simonpj committed
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
[GblId, Arity=3, Caf=NoCafRefs, Str=DmdType LLL]
T4908.f_$s$wf =
  \ (sc :: GHC.Types.Int)
    (sc1 :: GHC.Prim.Int#)
    (sc2 :: GHC.Prim.Int#) ->
    case sc2 of ds {
      __DEFAULT ->
        case sc1 of ds1 {
          __DEFAULT -> T4908.f_$s$wf sc ds1 (GHC.Prim.-# ds 1);
          0 -> GHC.Types.True
        };
      0 -> GHC.Types.True
    }
end Rec }

T4908.$wf
  :: GHC.Prim.Int#
Simon Marlow's avatar
Simon Marlow committed
24
     -> (GHC.Types.Int, GHC.Types.Int) -> GHC.Types.Bool
simonpj's avatar
simonpj committed
25
26
27
28
29
30
[GblId,
 Arity=2,
 Caf=NoCafRefs,
 Str=DmdType LL,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
         ConLike=True, Cheap=True, Expandable=True,
Simon Marlow's avatar
Simon Marlow committed
31
         Guidance=IF_ARGS [30 20] 101 20}]
simonpj's avatar
simonpj committed
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
T4908.$wf =
  \ (ww :: GHC.Prim.Int#) (w :: (GHC.Types.Int, GHC.Types.Int)) ->
    case ww of ds {
      __DEFAULT ->
        case w of _ { (a, b) ->
        case b of _ { GHC.Types.I# ds1 ->
        case ds1 of ds2 {
          __DEFAULT -> T4908.f_$s$wf a ds2 (GHC.Prim.-# ds 1);
          0 -> GHC.Types.True
        }
        }
        };
      0 -> GHC.Types.True
    }

T4908.f [InlPrag=INLINE[0]]
  :: GHC.Types.Int
Simon Marlow's avatar
Simon Marlow committed
49
     -> (GHC.Types.Int, GHC.Types.Int) -> GHC.Types.Bool
simonpj's avatar
simonpj committed
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
[GblId,
 Arity=2,
 Caf=NoCafRefs,
 Str=DmdType U(L)L,
 Unf=Unf{Src=Worker=T4908.$wf, TopLvl=True, Arity=2, Value=True,
         ConLike=True, Cheap=True, Expandable=True,
         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
         Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int)
                 (w1 [Occ=Once] :: (GHC.Types.Int, GHC.Types.Int)) ->
                 case w of _ { GHC.Types.I# ww [Occ=Once] -> T4908.$wf ww w1 }}]
T4908.f =
  \ (w :: GHC.Types.Int) (w1 :: (GHC.Types.Int, GHC.Types.Int)) ->
    case w of _ { GHC.Types.I# ww -> T4908.$wf ww w1 }


------ Local rules for imported ids --------
"SC:$wf0" [ALWAYS]
67
68
69
    forall (sc :: GHC.Types.Int)
           (sc1 :: GHC.Prim.Int#)
           (sc2 :: GHC.Prim.Int#).
simonpj's avatar
simonpj committed
70
71
72
73
      T4908.$wf sc2 (sc, GHC.Types.I# sc1)
      = T4908.f_$s$wf sc sc1 sc2