diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-19 13:18:39 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-21 10:07:12 +0000 |
| commit | c572430cdade1d8c66fa9c4f1f251dfce09243f0 (patch) | |
| tree | 5cc1d5511ec19a3d4ea0a67b441f0dfd48618dd5 /testsuite/tests/rename/should_fail/rnfail055.stderr | |
| parent | e604e916a9727a22a392062096ea947df5fbe2c6 (diff) | |
| download | haskell-c572430cdade1d8c66fa9c4f1f251dfce09243f0.tar.gz | |
Re-add missing kind generalisation
When splitting H98/GADT syntax in ConDecl we lost a key
kind-generalisation step.
I also renamed tcHsTyVarBndrs to tcExplicitTKBnders, by analogy
with tcImplicitTkBndrs.
This fixes Trac #11459.
Merge to 8.0.
Diffstat (limited to 'testsuite/tests/rename/should_fail/rnfail055.stderr')
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail055.stderr | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/rename/should_fail/rnfail055.stderr b/testsuite/tests/rename/should_fail/rnfail055.stderr index e7e6a3a817..d87054e926 100644 --- a/testsuite/tests/rename/should_fail/rnfail055.stderr +++ b/testsuite/tests/rename/should_fail/rnfail055.stderr @@ -73,8 +73,7 @@ RnFail055.hs-boot:25:1: error: Main module: type role T7 phantom data T7 a where T7 :: a1 -> T7 a - Boot file: data T7 a where - T7 :: a -> T7 a + Boot file: data T7 a = T7 a The roles do not match. Roles on abstract types default to ‘representational’ in boot files. The constructors do not match: The types for ‘T7’ differ |