diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T16394.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T16394.stderr | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T16394.stderr b/testsuite/tests/typecheck/should_fail/T16394.stderr index fff51a6e39..74e5c25ef5 100644 --- a/testsuite/tests/typecheck/should_fail/T16394.stderr +++ b/testsuite/tests/typecheck/should_fail/T16394.stderr @@ -1,5 +1,4 @@ -T16394.hs:6:10: error: - Illegal class instance: ‘C a => C b => C (a, b)’ - Class instances must be of the form - context => C ty_1 ... ty_n - where ‘C’ is a class + +T16394.hs:6:17: error: + Instance head cannot contain nested ‘forall’s or contexts + In an instance declaration |