diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-08 18:08:31 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-08 18:08:31 +0100 |
| commit | 7912f8b81b4d282b72f62733cd3c34063cd739e4 (patch) | |
| tree | db01d62c82ca51dd5bb54ec4f7e256502d71521d /testsuite/tests/rename | |
| parent | 15b4f839f8a7b1060093395ce3cc579f19c6d7c9 (diff) | |
| download | haskell-7912f8b81b4d282b72f62733cd3c34063cd739e4.tar.gz | |
Error wibbles now that we print roles in :info
(We might want to revisit this.)
Diffstat (limited to 'testsuite/tests/rename')
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail055.stderr | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/rename/should_fail/rnfail055.stderr b/testsuite/tests/rename/should_fail/rnfail055.stderr index e29472b7ce..3a3eb04b01 100644 --- a/testsuite/tests/rename/should_fail/rnfail055.stderr +++ b/testsuite/tests/rename/should_fail/rnfail055.stderr @@ -32,7 +32,8 @@ 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: data Eq b => T2 a b = T2 a + Main module: type role T2 representational phantom + data Eq b => T2 a b = T2 a Boot file: data Eq a => T2 a b = T2 a RnFail055.hs-boot:16:11: @@ -56,7 +57,8 @@ RnFail055.hs-boot:23:1: RnFail055.hs-boot:25:1: Type constructor ‛T7’ has conflicting definitions in the module and its hs-boot file - Main module: data T7 a where + Main module: type role T7 phantom + data T7 a where T7 :: a -> T7 a Boot file: data T7 a = T7 a |