diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-13 14:22:20 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-13 15:37:02 -0500 |
| commit | 138297585f88351352e0ed878b25f26e1d6edfef (patch) | |
| tree | bf2164609a3a83282cd80e0fbb4da8f2709de7e0 /testsuite/tests/roles/should_compile/Roles4.stderr | |
| parent | 473f12a3be27a00b035f1fdc7050a0ff31bf12ff (diff) | |
| download | haskell-138297585f88351352e0ed878b25f26e1d6edfef.tar.gz | |
Fix #8773.
To make a role annotation on a class asserting a role other than
nominal, you now need -XIncoherentInstances. See the ticket for
more information as to why this is a good idea.
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles4.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles4.stderr | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index e69b8525dc..32862ea073 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -5,11 +5,6 @@ TYPE CONSTRUCTORS Roles: [nominal] RecFlag NonRecursive meth1 :: a -> a - C2 :: * -> Constraint - class C2 a - Roles: [representational] - RecFlag NonRecursive - meth2 :: a -> a C3 :: * -> Constraint class C3 a Roles: [nominal] @@ -19,7 +14,6 @@ TYPE CONSTRUCTORS type Syn1 a = [a] COERCION AXIOMS axiom Roles4.NTCo:C1 :: C1 a = a -> a - axiom Roles4.NTCo:C2 :: C2 a = a -> a axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a Dependent modules: [] Dependent packages: [base, ghc-prim, integer-gmp] |