blob: 839d04d692c7734a789e3a41e91929febeddb7f9 (
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
12795488517584970699##
6852268802866176810##
Roles1.$trModule
(TrNameS "T7"#)
Roles1.$tcT6
= TyCon
1052116432298682626##
4782516991847719023##
Roles1.$trModule
(TrNameS "T6"#)
Roles1.$tcT5
= TyCon
10855726709479635304##
5574528370049939204##
Roles1.$trModule
(TrNameS "T5"#)
Roles1.$tc'K5
= TyCon
17986294396600628264##
15784122741796850983##
Roles1.$trModule
(TrNameS "'K5"#)
Roles1.$tcT4
= TyCon
5809060867006837344##
8795972313583150301##
Roles1.$trModule
(TrNameS "T4"#)
Roles1.$tcT3
= TyCon
17827258502042208248##
10404219359416482652##
Roles1.$trModule
(TrNameS "T3"#)
Roles1.$tcT2
= TyCon
14324923875690440398##
17626224477681351106##
Roles1.$trModule
(TrNameS "T2"#)
Roles1.$tc'K2
= TyCon
17795591238510508397##
10155757471958311507##
Roles1.$trModule
(TrNameS "'K2"#)
Roles1.$tcT1
= TyCon
12633763300352597178##
11103726621424210926##
Roles1.$trModule
(TrNameS "T1"#)
Roles1.$tc'K1
= TyCon
1949157551035372857##
3576433963139282451##
Roles1.$trModule
(TrNameS "'K1"#)
Roles1.$trModule = Module (TrNameS "main"#) (TrNameS "Roles1"#)
|
