diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-02 15:50:51 +0100 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-02 15:50:51 +0100 |
commit | 929155faa511569eb626d49a32264442c5caa14f (patch) | |
tree | 0197b1b0e5144206099f749c4eb8659ad05c8766 /testsuite/tests/deriving/should_fail/T7148a.stderr | |
parent | 5207c0ff005e579ba634d6b1aa248c825e957014 (diff) | |
download | haskell-929155faa511569eb626d49a32264442c5caa14f.tar.gz |
Add tests for roles.
Many of the files modified are just wibbles to output, because now
tycons have roles attached to them, which are produced in the debugging
dumps.
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T7148a.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_fail/T7148a.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr new file mode 100644 index 0000000000..f2a938c0a7 --- /dev/null +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -0,0 +1,7 @@ + +T7148a.hs:19:50: + Can't make a derived instance of ‛Convert (IS_NO_LONGER a)’ + (even with cunning newtype deriving): + it is not type-safe to use GeneralizedNewtypeDeriving on this class; + the last parameter of ‛Convert’ is at role N + In the newtype declaration for ‛IS_NO_LONGER’ |