Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / roles / should_compile / Roles13.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 42, types: 18, coercions: 5}
4
5 -- RHS size: {terms: 2, types: 0, coercions: 0}
6 a :: TrName
7 [GblId, Caf=NoCafRefs, Str=DmdType]
8 a = TrNameS "main"#
9
10 -- RHS size: {terms: 2, types: 0, coercions: 0}
11 a1 :: TrName
12 [GblId, Caf=NoCafRefs, Str=DmdType]
13 a1 = TrNameS "Roles13"#
14
15 -- RHS size: {terms: 3, types: 0, coercions: 0}
16 Roles13.$trModule :: Module
17 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
18 Roles13.$trModule = Module a a1
19
20 -- RHS size: {terms: 2, types: 0, coercions: 0}
21 a2 :: TrName
22 [GblId, Caf=NoCafRefs, Str=DmdType]
23 a2 = TrNameS "Age"#
24
25 -- RHS size: {terms: 5, types: 0, coercions: 0}
26 Roles13.$tcAge :: TyCon
27 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
28 Roles13.$tcAge = TyCon 0## 0## Roles13.$trModule a2
29
30 -- RHS size: {terms: 2, types: 0, coercions: 0}
31 a3 :: TrName
32 [GblId, Caf=NoCafRefs, Str=DmdType]
33 a3 = TrNameS "'MkWrap"#
34
35 -- RHS size: {terms: 5, types: 0, coercions: 0}
36 Roles13.$tc'MkWrap :: TyCon
37 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
38 Roles13.$tc'MkWrap = TyCon 0## 0## Roles13.$trModule a3
39
40 -- RHS size: {terms: 2, types: 0, coercions: 0}
41 a4 :: TrName
42 [GblId, Caf=NoCafRefs, Str=DmdType]
43 a4 = TrNameS "Wrap"#
44
45 -- RHS size: {terms: 5, types: 0, coercions: 0}
46 Roles13.$tcWrap :: TyCon
47 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
48 Roles13.$tcWrap = TyCon 0## 0## Roles13.$trModule a4
49
50 -- RHS size: {terms: 2, types: 2, coercions: 0}
51 a5 :: Wrap Age -> Wrap Age
52 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
53 a5 = \ (ds :: Wrap Age) -> ds
54
55 -- RHS size: {terms: 1, types: 0, coercions: 5}
56 convert :: Wrap Age -> Int
57 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
58 convert =
59   a5
60   `cast` (<Wrap Age>_R -> Roles13.NTCo:Wrap[0] Roles13.NTCo:Age[0]
61           :: (Wrap Age -> Wrap Age) ~R# (Wrap Age -> Int))
62
63
64