diff options
| author | simonpj@microsoft.com <unknown> | 2008-12-31 14:41:51 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-12-31 14:41:51 +0000 |
| commit | 79a6f3fa318020567566f92740ba6b9eb542f73f (patch) | |
| tree | 774c69d2c9a87283381bcc6bd5ec87b2c0958c57 /docs/ext-core | |
| parent | 2b398b2215fd5238e222bcb3013aa41d7b631cfa (diff) | |
| download | haskell-79a6f3fa318020567566f92740ba6b9eb542f73f.tar.gz | |
Fix Trac #2856: make deriving work for type families
Darn, but TcDeriv is complicated, when type families get in on
the act! This patch makes GeneralisedNewtypeDeriving work
properly for type families. I think.
In order to do so, I found that GeneralisedNewtypeDeriving can
work for recursive newtypes too -- and since families are conservatively
marked recursive, that's a crucial part of the fix, and useful too.
See Note [Recursive newtypes] in TcDeriv.
Diffstat (limited to 'docs/ext-core')
0 files changed, 0 insertions, 0 deletions