blob: 0b8a8e03368d3260a4ea08c3ae1992a98bd78541 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
TYPE SIGNATURES
TYPE CONSTRUCTORS
data T1 a = K1 (IO a)
Kind: * -> *
type role T2 phantom
data T2 a = K2 (FunPtr a)
Kind: * -> *
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0]
==================== Typechecker ====================
Roles2.$tcT2 = TyCon 0## 0## Roles2.$trModule (TrNameS "T2"#)
Roles2.$tc'K2 = TyCon 0## 0## Roles2.$trModule (TrNameS "'K2"#)
Roles2.$tcT1 = TyCon 0## 0## Roles2.$trModule (TrNameS "T1"#)
Roles2.$tc'K1 = TyCon 0## 0## Roles2.$trModule (TrNameS "'K1"#)
Roles2.$trModule = Module (TrNameS "main"#) (TrNameS "Roles2"#)
|
