diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-04-05 13:56:00 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-04-05 17:25:45 -0400 |
| commit | d468cd376ffc02cf9f4755275a316be914c482be (patch) | |
| tree | 3ae0b3da074be5aab808d13658bb3b0d52bde3ae /testsuite/tests/rename | |
| parent | e81d110e7ddd381e53c3af4fbd261d29edd16725 (diff) | |
| download | haskell-d468cd376ffc02cf9f4755275a316be914c482be.tar.gz | |
Fix #8958.
We now do role inference on stupid datatype contexts, allowing a
lightweight role annotation syntax.
Diffstat (limited to 'testsuite/tests/rename')
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail055.stderr | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/rename/should_fail/rnfail055.stderr b/testsuite/tests/rename/should_fail/rnfail055.stderr index ed17c5c5e6..99ed2d6f12 100644 --- a/testsuite/tests/rename/should_fail/rnfail055.stderr +++ b/testsuite/tests/rename/should_fail/rnfail055.stderr @@ -32,9 +32,10 @@ RnFail055.hs-boot:12:1: RnFail055.hs-boot:14:1: Type constructor ‘T2’ has conflicting definitions in the module and its hs-boot file - Main module: type role T2 representational phantom + Main module: type role T2 representational nominal data Eq b => T2 a b = T2 a - Boot file: data Eq a => T2 a b = T2 a + Boot file: type role T2 nominal representational + data Eq a => T2 a b = T2 a RnFail055.hs-boot:16:11: T3 is exported by the hs-boot file, but not exported by the module |