diff options
Diffstat (limited to 'testsuite/tests/roles/should_fail/T8773.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_fail/T8773.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/roles/should_fail/T8773.stderr b/testsuite/tests/roles/should_fail/T8773.stderr index 838d58793f..fac02f30d1 100644 --- a/testsuite/tests/roles/should_fail/T8773.stderr +++ b/testsuite/tests/roles/should_fail/T8773.stderr @@ -1,5 +1,5 @@ T8773.hs:5:1: - Roles other than ‛nominal’ for class parameters can lead to incoherence. + Roles other than ‘nominal’ for class parameters can lead to incoherence. Use IncoherentInstances to allow this; bad role found - while checking a role annotation for ‛C2’ + while checking a role annotation for ‘C2’ |