diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-16 15:20:32 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-17 10:07:22 -0400 |
| commit | 3fe87aa00ac05f1abea22ea58d51ecc1e3073d19 (patch) | |
| tree | e61fa1246d65ddc37261218c7f9f4a6d87652e07 /testsuite/tests/dependent/should_compile/all.T | |
| parent | c5ed41cbcaa40068763c8bd01badcada38cdbd03 (diff) | |
| download | haskell-3fe87aa00ac05f1abea22ea58d51ecc1e3073d19.tar.gz | |
Fix #11716.
There were several smallish bugs here:
- We had too small an InScopeSet when rejigging GADT return types.
- When adding the extra_tvs with a datatype kind signature, we
were sometimes changing Uniques of an explicitly bound kind var.
- Using coercionKind in the flattener got the wrong visibility
for a binder. Now we just zonk to get what we need.
Test case: dependent/should_compile/RaeJobTalk
Diffstat (limited to 'testsuite/tests/dependent/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index 8ecd105a09..2f9d311f4f 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -18,3 +18,4 @@ test('T11311', normal, compile, ['']) test('T11405', normal, compile, ['']) test('T11241', normal, compile, ['']) test('T11711', normal, compile, ['']) +test('RaeJobTalk', normal, compile, ['']) |