Bump ghc-prim to 0.4.0.0
[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   class C3 a where
6     meth3 :: a -> Syn1 a
7   type Syn1 a = [a]
8 COERCION AXIOMS
9   axiom Roles4.NTCo:C1 :: C1 a = a -> a
10   axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a
11 Dependent modules: []
12 Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
13                      integer-gmp-1.0.0.0]
14
15 ==================== Typechecker ====================
16