Adjust output to new oneshotness
[ghc.git] / testsuite / tests / simplCore / should_compile / T3717.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 22, types: 10, coercions: 0}
4
5 Rec {
6 T3717.$wfoo [Occ=LoopBreaker] :: GHC.Prim.Int# -> GHC.Prim.Int#
7 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
8 T3717.$wfoo =
9   \ (ww :: GHC.Prim.Int#) ->
10     case ww of ds {
11       __DEFAULT -> T3717.$wfoo (GHC.Prim.-# ds 1);
12       0 -> 0
13     }
14 end Rec }
15
16 T3717.foo [InlPrag=INLINE[0]] :: GHC.Types.Int -> GHC.Types.Int
17 [GblId,
18  Arity=1,
19  Caf=NoCafRefs,
20  Str=DmdType <S(S),1*U(1*U)>m,
21  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
22          ConLike=True, WorkFree=True, Expandable=True,
23          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
24          Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int) ->
25                  case w of _ [Occ=Dead] { GHC.Types.I# ww1 [Occ=Once] ->
26                  case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
27                  }}]
28 T3717.foo =
29   \ (w :: GHC.Types.Int) ->
30     case w of _ [Occ=Dead] { GHC.Types.I# ww1 ->
31     case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
32     }
33
34
35