diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-30 13:56:07 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-30 14:06:18 +0100 |
| commit | 827cc509fe9d4ccff2874913b73df4d659f3e785 (patch) | |
| tree | af6d8b9643ecadea442069e9d0d1b359b96a7442 /compiler/utils/Encoding.hs | |
| parent | 936001caa0dc045aa937c9f256b338429664d83c (diff) | |
| download | haskell-827cc509fe9d4ccff2874913b73df4d659f3e785.tar.gz | |
Eta-reduce data/newtype family instance axioms (Trac #4185)
This long-overdue fix arranges to eta-reduce the axiom for a
data/newtype instance in the same way that we have longq
eta-reduced the axiom for a newtype.
See Note [Eta reduction for data family axioms] in TcInstDcls
and Note [Deriving, type families, and partial applications] in TcDeriv.
Diffstat (limited to 'compiler/utils/Encoding.hs')
0 files changed, 0 insertions, 0 deletions