Fold base.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.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 b
10     Roles: [nominal, nominal]
11     RecFlag NonRecursive
12     meth2 :: (~) * a b -> a -> b
13   C3 :: * -> * -> Constraint
14   class C3 a b
15     Roles: [nominal, nominal]
16     RecFlag NonRecursive
17     type family F3 b :: * (open)
18     meth3 :: a -> F3 b -> F3 b
19   C4 :: * -> * -> Constraint
20   class C4 a b
21     Roles: [nominal, nominal]
22     RecFlag NonRecursive
23     meth4 :: a -> F4 b -> F4 b
24   F4 :: * -> *
25   type family F4 a :: * (open)
26   Syn1 :: * -> *
27   type Syn1 a = F4 a
28   Syn2 :: * -> *
29   type Syn2 a = [a]
30 COERCION AXIOMS
31   axiom Roles3.NTCo:C1 :: C1 a = a -> a
32   axiom Roles3.NTCo:C2 :: C2 a b = a ~ b => a -> b
33   axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b
34   axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b
35 Dependent modules: []
36 Dependent packages: [base, ghc-prim, integer-gmp]
37
38 ==================== Typechecker ====================
39