c8480cd435dab856738b123772f2fc003c5ab161
[ghc.git] / testsuite / tests / roles / should_compile / Roles4.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   class C1 a where
4     meth1 :: a -> a
5     {-# MINIMAL meth1 #-}
6   class C3 a where
7     meth3 :: a -> Syn1 a
8     {-# MINIMAL meth3 #-}
9   type Syn1 a = [a]
10 COERCION AXIOMS
11   axiom Roles4.NTCo:C1 :: C1 a = a -> a
12   axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a
13 Dependent modules: []
14 Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
15                      integer-gmp-1.0.0.0]
16
17 ==================== Typechecker ====================
18 Roles4.$tcC3
19   = TyCon
20       16502190608089501863##
21       13971441568961069854##
22       Roles4.$trModule
23       (TrNameS "C3"#)
24 Roles4.$tcC1
25   = TyCon
26       11951908835899020229##
27       6518430686554778113##
28       Roles4.$trModule
29       (TrNameS "C1"#)
30 Roles4.$trModule = Module (TrNameS "main"#) (TrNameS "Roles4"#)
31