Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / roles / should_compile / Roles2.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   data T1 a = K1 (IO a)
4   type role T2 phantom
5   data T2 a = K2 (FunPtr a)
6 COERCION AXIOMS
7 Dependent modules: []
8 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
9                      integer-gmp-1.0.0.0]
10
11 ==================== Typechecker ====================
12 Roles2.$tcT2
13   = TyCon
14       5934726586329293381##
15       1923031187495159753##
16       Roles2.$trModule
17       (TrNameS "T2"#)
18 Roles2.$tcT1
19   = TyCon
20       13879106829711353992##
21       15151456821588362072##
22       Roles2.$trModule
23       (TrNameS "T1"#)
24 Roles2.$trModule = Module (TrNameS "main"#) (TrNameS "Roles2"#)
25