New expected test output for 32 bit platforms
[ghc.git] / testsuite / tests / roles / should_compile / Roles1.stderr-ws-32
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.9.0.0, ghc-prim-0.5.0.0,
21                      integer-gmp-1.0.0.0]
22
23 ==================== Typechecker ====================
24 Roles1.$tcT7
25   = TyCon
26       12795488517584970699L##
27       6852268802866176810L##
28       Roles1.$trModule
29       (TrNameS "T7"#)
30 Roles1.$tcT6
31   = TyCon
32       1052116432298682626L##
33       4782516991847719023L##
34       Roles1.$trModule
35       (TrNameS "T6"#)
36 Roles1.$tcT5
37   = TyCon
38       10855726709479635304L##
39       5574528370049939204L##
40       Roles1.$trModule
41       (TrNameS "T5"#)
42 Roles1.$tc'K5
43   = TyCon
44       17986294396600628264L##
45       15784122741796850983L##
46       Roles1.$trModule
47       (TrNameS "'K5"#)
48 Roles1.$tcT4
49   = TyCon
50       5809060867006837344L##
51       8795972313583150301L##
52       Roles1.$trModule
53       (TrNameS "T4"#)
54 Roles1.$tcT3
55   = TyCon
56       17827258502042208248L##
57       10404219359416482652L##
58       Roles1.$trModule
59       (TrNameS "T3"#)
60 Roles1.$tcT2
61   = TyCon
62       14324923875690440398L##
63       17626224477681351106L##
64       Roles1.$trModule
65       (TrNameS "T2"#)
66 Roles1.$tc'K2
67   = TyCon
68       17795591238510508397L##
69       10155757471958311507L##
70       Roles1.$trModule
71       (TrNameS "'K2"#)
72 Roles1.$tcT1
73   = TyCon
74       12633763300352597178L##
75       11103726621424210926L##
76       Roles1.$trModule
77       (TrNameS "T1"#)
78 Roles1.$tc'K1
79   = TyCon
80       1949157551035372857L##
81       3576433963139282451L##
82       Roles1.$trModule
83       (TrNameS "'K1"#)
84 Roles1.$trModule = Module (TrNameS "main"#) (TrNameS "Roles1"#)
85