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