blob: bb67a8cf26d3583b2decf1f56bbae3d159e5dd02 (
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
TYPE SIGNATURES
Roles1.K1 :: forall a. a -> T1 a
Roles1.K2 :: forall a. a -> T2 a
Roles1.K3 :: forall k (a :: k). T3 a
Roles1.K4 :: forall (a :: * -> *) b. a b -> T4 a b
Roles1.K5 :: forall a. a -> T5 a
Roles1.K6 :: forall {k} (a :: k). T6 a
Roles1.K7 :: forall {k} (a :: k) b. b -> T7 a b
TYPE CONSTRUCTORS
type role T1 nominal
data T1 a = K1 a
data T2 a = K2 a
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
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.10.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.1]
==================== Typechecker ====================
Roles1.$tcT7
= GHC.Types.TyCon
12795488517584970699##
6852268802866176810##
Roles1.$trModule
(GHC.Types.TrNameS "T7"#)
Roles1.$tc'K7
= GHC.Types.TyCon
12022030613939361326##
11727141136040515167##
Roles1.$trModule
(GHC.Types.TrNameS "'K7"#)
Roles1.$tcT6
= GHC.Types.TyCon
1052116432298682626##
4782516991847719023##
Roles1.$trModule
(GHC.Types.TrNameS "T6"#)
Roles1.$tc'K6
= GHC.Types.TyCon
14383224451764499060##
13586832700239872984##
Roles1.$trModule
(GHC.Types.TrNameS "'K6"#)
Roles1.$tcT5
= GHC.Types.TyCon
10855726709479635304##
5574528370049939204##
Roles1.$trModule
(GHC.Types.TrNameS "T5"#)
Roles1.$tc'K5
= GHC.Types.TyCon
17986294396600628264##
15784122741796850983##
Roles1.$trModule
(GHC.Types.TrNameS "'K5"#)
Roles1.$tcT4
= GHC.Types.TyCon
5809060867006837344##
8795972313583150301##
Roles1.$trModule
(GHC.Types.TrNameS "T4"#)
Roles1.$tc'K4
= GHC.Types.TyCon
6498964159768283182##
956453098475971212##
Roles1.$trModule
(GHC.Types.TrNameS "'K4"#)
Roles1.$tcT3
= GHC.Types.TyCon
17827258502042208248##
10404219359416482652##
Roles1.$trModule
(GHC.Types.TrNameS "T3"#)
Roles1.$tc'K3
= GHC.Types.TyCon
18386915834109553575##
773967725306507064##
Roles1.$trModule
(GHC.Types.TrNameS "'K3"#)
Roles1.$tcT2
= GHC.Types.TyCon
14324923875690440398##
17626224477681351106##
Roles1.$trModule
(GHC.Types.TrNameS "T2"#)
Roles1.$tc'K2
= GHC.Types.TyCon
17795591238510508397##
10155757471958311507##
Roles1.$trModule
(GHC.Types.TrNameS "'K2"#)
Roles1.$tcT1
= GHC.Types.TyCon
12633763300352597178##
11103726621424210926##
Roles1.$trModule
(GHC.Types.TrNameS "T1"#)
Roles1.$tc'K1
= GHC.Types.TyCon
1949157551035372857##
3576433963139282451##
Roles1.$trModule
(GHC.Types.TrNameS "'K1"#)
Roles1.$trModule
= GHC.Types.Module
(GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles1"#)
|
