blob: f547b33fad36701460028a93129966cb0e318909 (
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
116
117
|
TYPE CONSTRUCTORS
data type T1{1} :: * -> *
roles nominal
data type T2{1} :: * -> *
data type T3{2} :: forall k. k -> *
roles nominal phantom
data type T4{2} :: (* -> *) -> * -> *
roles nominal nominal
data type T5{1} :: * -> *
data type T6{2} :: forall {k}. k -> *
roles nominal phantom
data type T7{3} :: forall {k}. k -> * -> *
roles nominal phantom representational
DATA CONSTRUCTORS
K7 :: forall {k} (a :: k) b. b -> T7 a b
K6 :: forall {k} (a :: k). T6 a
K5 :: forall a. a -> T5 a
K4 :: forall (a :: * -> *) b. a b -> T4 a b
K3 :: forall k (a :: k). T3 a
K2 :: forall a. a -> T2 a
K1 :: forall a. a -> T1 a
Dependent modules: []
Dependent packages: [base-4.16.0.0]
==================== Typechecker ====================
Roles1.$tcT7
= GHC.Types.TyCon
178606230775360129##64 14564382578551945561##64 Roles1.$trModule
(GHC.Types.TrNameS "T7"#) 1# $krep
Roles1.$tc'K7
= GHC.Types.TyCon
15901479081375327280##64 4842873210599704617##64 Roles1.$trModule
(GHC.Types.TrNameS "'K7"#) 3# $krep
Roles1.$tcT6
= GHC.Types.TyCon
7244893995195634045##64 6882827069359931041##64 Roles1.$trModule
(GHC.Types.TrNameS "T6"#) 1# $krep
Roles1.$tc'K6
= GHC.Types.TyCon
13928703131159360198##64 9274401506945696896##64 Roles1.$trModule
(GHC.Types.TrNameS "'K6"#) 2# $krep
Roles1.$tcT5
= GHC.Types.TyCon
12033401645911719002##64 6369139038321702301##64 Roles1.$trModule
(GHC.Types.TrNameS "T5"#) 0# GHC.Types.krep$*Arr*
Roles1.$tc'K5
= GHC.Types.TyCon
5548842497263642061##64 18349261927117571882##64 Roles1.$trModule
(GHC.Types.TrNameS "'K5"#) 1# $krep
Roles1.$tcT4
= GHC.Types.TyCon
15834077582937152787##64 17059037094835388922##64 Roles1.$trModule
(GHC.Types.TrNameS "T4"#) 0# $krep
Roles1.$tc'K4
= GHC.Types.TyCon
10188453925450404995##64 4762093850599364042##64 Roles1.$trModule
(GHC.Types.TrNameS "'K4"#) 2# $krep
Roles1.$tcT3
= GHC.Types.TyCon
13341737262627465733##64 14527452670364737316##64 Roles1.$trModule
(GHC.Types.TrNameS "T3"#) 1# $krep
Roles1.$tc'K3
= GHC.Types.TyCon
14534968069054730342##64 6860808298964464185##64 Roles1.$trModule
(GHC.Types.TrNameS "'K3"#) 2# $krep
Roles1.$tcT2
= GHC.Types.TyCon
12900773996789723956##64 9313087549503346504##64 Roles1.$trModule
(GHC.Types.TrNameS "T2"#) 0# GHC.Types.krep$*Arr*
Roles1.$tc'K2
= GHC.Types.TyCon
11054915488163123841##64 10799789256744079155##64 Roles1.$trModule
(GHC.Types.TrNameS "'K2"#) 1# $krep
Roles1.$tcT1
= GHC.Types.TyCon
13228660854624297872##64 14494320157476678712##64 Roles1.$trModule
(GHC.Types.TrNameS "T1"#) 0# GHC.Types.krep$*Arr*
Roles1.$tc'K1
= GHC.Types.TyCon
1265606750138351672##64 7033043930969109074##64 Roles1.$trModule
(GHC.Types.TrNameS "'K1"#) 1# $krep
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 1
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 1
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 2
$krep [InlPrag=[~]] = GHC.Types.KindRepApp $krep $krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun $krep GHC.Types.krep$*Arr*
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep GHC.Types.krep$*
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun GHC.Types.krep$*Arr* GHC.Types.krep$*Arr*
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp
Roles1.$tcT7 ((:) $krep ((:) $krep ((:) $krep [])))
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp Roles1.$tcT6 ((:) $krep ((:) $krep []))
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp Roles1.$tcT4 ((:) $krep ((:) $krep []))
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp Roles1.$tcT3 ((:) $krep ((:) $krep []))
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp Roles1.$tcT5 ((:) $krep [])
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp Roles1.$tcT2 ((:) $krep [])
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp Roles1.$tcT1 ((:) $krep [])
Roles1.$trModule
= GHC.Types.Module
(GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles1"#)
|
