Refactoring on IdInfo and system derived names
[ghc.git] / testsuite / tests / roles / should_compile / Roles2.stderr
1 TYPE SIGNATURES
2   Roles2.K1 :: forall a. IO a -> T1 a
3   Roles2.K2 :: forall a. FunPtr a -> T2 a
4 TYPE CONSTRUCTORS
5   data T1 a = K1 (IO a)
6     Kind: * -> *
7   type role T2 phantom
8   data T2 a = K2 (FunPtr a)
9     Kind: * -> *
10 COERCION AXIOMS
11 Dependent modules: []
12 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
13                      integer-gmp-1.0.0.1]
14
15 ==================== Typechecker ====================
16 Roles2.$tcT2
17   = GHC.Types.TyCon
18       5934726586329293381##
19       1923031187495159753##
20       Roles2.$trModule
21       (GHC.Types.TrNameS "T2"#)
22 Roles2.$tc'K2
23   = GHC.Types.TyCon
24       1362115092449420584##
25       15899377929296700609##
26       Roles2.$trModule
27       (GHC.Types.TrNameS "'K2"#)
28 Roles2.$tcT1
29   = GHC.Types.TyCon
30       13879106829711353992##
31       15151456821588362072##
32       Roles2.$trModule
33       (GHC.Types.TrNameS "T1"#)
34 Roles2.$tc'K1
35   = GHC.Types.TyCon
36       14735176013935828521##
37       17563925141462511949##
38       Roles2.$trModule
39       (GHC.Types.TrNameS "'K1"#)
40 Roles2.$trModule
41   = GHC.Types.Module
42       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles2"#)
43