diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles4.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles4.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 5da8f04b26..e69b8525dc 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -2,19 +2,19 @@ TYPE SIGNATURES TYPE CONSTRUCTORS C1 :: * -> Constraint class C1 a - Roles: [nominal] - RecFlag NonRecursive - meth1 :: a -> a + Roles: [nominal] + RecFlag NonRecursive + meth1 :: a -> a C2 :: * -> Constraint class C2 a - Roles: [representational] - RecFlag NonRecursive - meth2 :: a -> a + Roles: [representational] + RecFlag NonRecursive + meth2 :: a -> a C3 :: * -> Constraint class C3 a - Roles: [representational] - RecFlag NonRecursive - meth3 :: a -> Syn1 a + Roles: [nominal] + RecFlag NonRecursive + meth3 :: a -> Syn1 a Syn1 :: * -> * type Syn1 a = [a] COERCION AXIOMS |