Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / roles / should_compile / Roles1.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   type role T1 nominal
4   data T1 a = K1 a
5     Promotable
6   data T2 a = K2 a
7     Promotable
8   type role T3 phantom
9   data T3 (a :: k) = K3
10   type role T4 nominal nominal
11   data T4 (a :: * -> *) b = K4 (a b)
12   data T5 a = K5 a
13     Promotable
14   type role T6 phantom
15   data T6 (a :: k) = K6
16   type role T7 phantom representational
17   data T7 (a :: k) b = K7 b
18 COERCION AXIOMS
19 Dependent modules: []
20 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
21                      integer-gmp-1.0.0.0]
22
23 ==================== Typechecker ====================
24 Roles1.$tcT7
25   = TyCon
26       12795488517584970699##
27       6852268802866176810##
28       Roles1.$trModule
29       (TrNameS "T7"#)
30 Roles1.$tcT6
31   = TyCon
32       1052116432298682626##
33       4782516991847719023##
34       Roles1.$trModule
35       (TrNameS "T6"#)
36 Roles1.$tcT5
37   = TyCon
38       10855726709479635304##
39       5574528370049939204##
40       Roles1.$trModule
41       (TrNameS "T5"#)
42 Roles1.$tc'K5
43   = TyCon
44       17986294396600628264##
45       15784122741796850983##
46       Roles1.$trModule
47       (TrNameS "'K5"#)
48 Roles1.$tcT4
49   = TyCon
50       5809060867006837344##
51       8795972313583150301##
52       Roles1.$trModule
53       (TrNameS "T4"#)
54 Roles1.$tcT3
55   = TyCon
56       17827258502042208248##
57       10404219359416482652##
58       Roles1.$trModule
59       (TrNameS "T3"#)
60 Roles1.$tcT2
61   = TyCon
62       14324923875690440398##
63       17626224477681351106##
64       Roles1.$trModule
65       (TrNameS "T2"#)
66 Roles1.$tc'K2
67   = TyCon
68       17795591238510508397##
69       10155757471958311507##
70       Roles1.$trModule
71       (TrNameS "'K2"#)
72 Roles1.$tcT1
73   = TyCon
74       12633763300352597178##
75       11103726621424210926##
76       Roles1.$trModule
77       (TrNameS "T1"#)
78 Roles1.$tc'K1
79   = TyCon
80       1949157551035372857##
81       3576433963139282451##
82       Roles1.$trModule
83       (TrNameS "'K1"#)
84 Roles1.$trModule = Module (TrNameS "main"#) (TrNameS "Roles1"#)
85