Fold testsuite.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   C2 :: * -> Constraint
9   class C2 a
10     Roles: [representational]
11     RecFlag NonRecursive
12     meth2 :: a -> a
13   C3 :: * -> Constraint
14   class C3 a
15     Roles: [nominal]
16     RecFlag NonRecursive
17     meth3 :: a -> Syn1 a
18   Syn1 :: * -> *
19   type Syn1 a = [a]
20 COERCION AXIOMS
21   axiom Roles4.NTCo:C1 :: C1 a = a -> a
22   axiom Roles4.NTCo:C2 :: C2 a = a -> a
23   axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a
24 Dependent modules: []
25 Dependent packages: [base, ghc-prim, integer-gmp]
26
27 ==================== Typechecker ====================
28