diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T14728b.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T14728b.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/T14728b.stderr b/testsuite/tests/deriving/should_fail/T14728b.stderr new file mode 100644 index 0000000000..ee74f8b4da --- /dev/null +++ b/testsuite/tests/deriving/should_fail/T14728b.stderr @@ -0,0 +1,7 @@ + +T14728b.hs:16:1: error: + • Can't make a derived instance of ‘C (Identity a)’ + (even with cunning GeneralizedNewtypeDeriving): + the associated type ‘U’ contains the last type variable + of the class ‘C’ in a kind, which is not (yet) allowed + • In the stand-alone deriving instance for ‘C (Identity a)’ |