Update to tests due to change in syntax for role annotations.
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   C1 :: * -> Constraint
4   class C1 a
5       Roles: [representational]
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: [representational, nominal]
16       RecFlag NonRecursive
17       type family F3 b :: *
18       meth3 :: a -> F3 b -> F3 b
19   C4 :: * -> * -> Constraint
20   class C4 a b
21       Roles: [representational, nominal]
22       RecFlag NonRecursive
23       meth4 :: a -> F4 b -> F4 b
24   F4 :: * -> *
25   type family F4 a :: *
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