Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 36, types: 14, coercions: 0}
4
5 Rec {
6 -- RHS size: {terms: 10, types: 2, coercions: 0}
7 $wxs :: Int# -> ()
8 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
9 $wxs =
10   \ (ww :: Int#) ->
11     case ww of ds1 {
12       __DEFAULT -> $wxs (-# ds1 1#);
13       1# -> ()
14     }
15 end Rec }
16
17 -- RHS size: {terms: 14, types: 5, coercions: 0}
18 foo [InlPrag=NOINLINE] :: Int -> ()
19 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U(U)>]
20 foo =
21   \ (n :: Int) ->
22     case n of _ [Occ=Dead] { I# y ->
23     case tagToEnum# @ Bool (<# 0# y) of _ [Occ=Dead] {
24       False -> ();
25       True -> $wxs y
26     }
27     }
28
29 -- RHS size: {terms: 2, types: 0, coercions: 0}
30 T3772.$trModule1 :: TrName
31 [GblId,
32  Caf=NoCafRefs,
33  Str=DmdType m1,
34  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
35          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
36 T3772.$trModule1 = TrNameS "T3772"#
37
38 -- RHS size: {terms: 2, types: 0, coercions: 0}
39 T3772.$trModule2 :: TrName
40 [GblId,
41  Caf=NoCafRefs,
42  Str=DmdType m1,
43  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
44          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
45 T3772.$trModule2 = TrNameS "main"#
46
47 -- RHS size: {terms: 3, types: 0, coercions: 0}
48 T3772.$trModule :: Module
49 [GblId[ReflectionId],
50  Caf=NoCafRefs,
51  Str=DmdType m,
52  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
53          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
54 T3772.$trModule = Module T3772.$trModule2 T3772.$trModule1
55
56
57