Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / simplCore / should_compile / T7360.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 55, types: 34, coercions: 0}
4
5 -- RHS size: {terms: 6, types: 3, coercions: 0}
6 T7360.$WFoo3 [InlPrag=INLINE] :: Int -> Foo
7 [GblId[DataConWrapper],
8  Arity=1,
9  Caf=NoCafRefs,
10  Str=DmdType <S,U>m3,
11  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
12          WorkFree=True, Expandable=True,
13          Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=False)
14          Tmpl= \ (dt [Occ=Once!] :: Int) ->
15                  case dt of _ [Occ=Dead] { I# dt [Occ=Once] -> T7360.Foo3 dt }}]
16 T7360.$WFoo3 =
17   \ (dt [Occ=Once!] :: Int) ->
18     case dt of _ [Occ=Dead] { I# dt [Occ=Once] -> T7360.Foo3 dt }
19
20 -- RHS size: {terms: 2, types: 0, coercions: 0}
21 T7360.$trModule2 :: TrName
22 [GblId,
23  Caf=NoCafRefs,
24  Str=DmdType m1,
25  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
26          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
27 T7360.$trModule2 = TrNameS "main"#
28
29 -- RHS size: {terms: 2, types: 0, coercions: 0}
30 T7360.$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 T7360.$trModule1 = TrNameS "T7360"#
37
38 -- RHS size: {terms: 3, types: 0, coercions: 0}
39 T7360.$trModule :: Module
40 [GblId[ReflectionId],
41  Caf=NoCafRefs,
42  Str=DmdType m,
43  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
44          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
45 T7360.$trModule = Module T7360.$trModule2 T7360.$trModule1
46
47 -- RHS size: {terms: 2, types: 0, coercions: 0}
48 T7360.$tcFoo1 :: TrName
49 [GblId,
50  Caf=NoCafRefs,
51  Str=DmdType m1,
52  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
53          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
54 T7360.$tcFoo1 = TrNameS "Foo"#
55
56 -- RHS size: {terms: 5, types: 0, coercions: 0}
57 T7360.$tcFoo :: TyCon
58 [GblId[ReflectionId],
59  Caf=NoCafRefs,
60  Str=DmdType m,
61  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
62          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
63 T7360.$tcFoo = TyCon 0## 0## T7360.$trModule T7360.$tcFoo1
64
65 -- RHS size: {terms: 5, types: 2, coercions: 0}
66 fun1 [InlPrag=NOINLINE] :: Foo -> ()
67 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
68 fun1 = \ (x :: Foo) -> case x of _ [Occ=Dead] { __DEFAULT -> () }
69
70 -- RHS size: {terms: 2, types: 0, coercions: 0}
71 T7360.fun5 :: ()
72 [GblId,
73  Str=DmdType,
74  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
75          WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
76 T7360.fun5 = fun1 T7360.Foo1
77
78 -- RHS size: {terms: 2, types: 0, coercions: 0}
79 T7360.fun4 :: Int
80 [GblId,
81  Caf=NoCafRefs,
82  Str=DmdType m,
83  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
84          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
85 T7360.fun4 = I# 0#
86
87 -- RHS size: {terms: 16, types: 12, coercions: 0}
88 fun2 :: forall a. [a] -> ((), Int)
89 [GblId,
90  Arity=1,
91  Str=DmdType <L,1*U>m,
92  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
93          WorkFree=True, Expandable=True,
94          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
95          Tmpl= \ (@ a) (x [Occ=Once!] :: [a]) ->
96                  (T7360.fun5,
97                   case x of wild {
98                     [] -> T7360.fun4;
99                     : _ [Occ=Dead] _ [Occ=Dead] ->
100                       case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT -> I# ww2 }
101                   })}]
102 fun2 =
103   \ (@ a) (x :: [a]) ->
104     (T7360.fun5,
105      case x of wild {
106        [] -> T7360.fun4;
107        : ds ds1 ->
108          case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT -> I# ww2 }
109      })
110
111
112