Fold ghc-prim.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / roles / should_compile / Roles4.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   C1 :: * -> Constraint
4   class C1 a
5     Roles: [nominal]
6     RecFlag NonRecursive
7     meth1 :: a -> a
8   C3 :: * -> Constraint
9   class C3 a
10     Roles: [nominal]
11     RecFlag NonRecursive
12     meth3 :: a -> Syn1 a
13   Syn1 :: * -> *
14   type Syn1 a = [a]
15 COERCION AXIOMS
16   axiom Roles4.NTCo:C1 :: C1 a = a -> a
17   axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a
18 Dependent modules: []
19 Dependent packages: [base, ghc-prim, integer-gmp]
20
21 ==================== Typechecker ====================
22