Revert "Generate Typeable info at definition sites"
[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 -- RHS size: {terms: 10, types: 2, coercions: 0}
7 T3717.$wfoo [InlPrag=[0], Occ=LoopBreaker] :: Int# -> Int#
8 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
9 T3717.$wfoo =
10   \ (ww :: Int#) ->
11     case ww of ds {
12       __DEFAULT -> T3717.$wfoo (-# ds 1#);
13       0# -> 0#
14     }
15 end Rec }
16
17 -- RHS size: {terms: 10, types: 4, coercions: 0}
18 foo [InlPrag=INLINE[0]] :: Int -> Int
19 [GblId,
20  Arity=1,
21  Caf=NoCafRefs,
22  Str=DmdType <S(S),1*U(1*U)>m,
23  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
24          WorkFree=True, Expandable=True,
25          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
26          Tmpl= \ (w [Occ=Once!] :: Int) ->
27                  case w of _ [Occ=Dead] { I# ww1 [Occ=Once] ->
28                  case T3717.$wfoo ww1 of ww2 { __DEFAULT -> I# ww2 }
29                  }}]
30 foo =
31   \ (w :: Int) ->
32     case w of _ [Occ=Dead] { I# ww1 ->
33     case T3717.$wfoo ww1 of ww2 { __DEFAULT -> I# ww2 }
34     }
35
36
37