diff options
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/CasePrune.stderr | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/testsuite/tests/gadt/CasePrune.stderr b/testsuite/tests/gadt/CasePrune.stderr index db22c46a7d..1202d1b04e 100644 --- a/testsuite/tests/gadt/CasePrune.stderr +++ b/testsuite/tests/gadt/CasePrune.stderr @@ -1,11 +1,7 @@ CasePrune.hs:14:31: - Could not coerce from ‘T Int’ to ‘T A’ - because the first type argument of ‘T’ has role Nominal, - but the arguments ‘Int’ and ‘A’ differ - arising from the coercion of the method ‘ic’ from type ‘T Int’ - to type ‘T A’ - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + Couldn't match type ‘Int’ with ‘A’ + arising from the coercion of the method ‘ic’ + from type ‘T Int’ to type ‘T A’ + Relevant role signatures: type role T nominal When deriving the instance for (C A) |