diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-08-31 10:46:01 -0700 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-09-19 12:09:16 -0400 |
| commit | 2d4db40ac07db2fc776d61aac2383608911281ff (patch) | |
| tree | 50f2d8057822752f41496a2ba3c9480c28a2af70 /testsuite/tests/indexed-types/should_compile/all.T | |
| parent | a8406f81a5da077d1c4b9995654ca9972f39130c (diff) | |
| download | haskell-2d4db40ac07db2fc776d61aac2383608911281ff.tar.gz | |
Fix #10815 by kind-checking type patterns against known kinds.
tcFamTyPats now must take information about the instantiation of any
class variables, when checking the instance of an associated type.
Getting this to work out required some unexpected refactoring in
TcDeriv. TcDeriv needs to look at class instances because of the
possibility of associated datatypes with `deriving` specs. TcDeriv
worked over the user-specified instances. But any data family instances
were already processed, and TcDeriv had no way of finding the rep
tycons. Indeed, TcDeriv *re-type-checked* any data family instances
in an attempt to rediscover what GHC already knew. So, this commit
introduces better tracking of compiled data families between TcInstDcls
and TcDeriv to streamline all of this.
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T index 5e7e468766..b98f963f61 100644 --- a/testsuite/tests/indexed-types/should_compile/all.T +++ b/testsuite/tests/indexed-types/should_compile/all.T @@ -263,3 +263,4 @@ test('T10634', normal, compile, ['']) test('T10713', normal, compile, ['']) test('T10753', normal, compile, ['']) test('T10806', normal, compile_fail, ['']) +test('T10815', normal, compile, ['']) |