diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-21 10:27:41 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-21 10:30:17 +0000 |
commit | fd841f877ab7a991f667a50b401404927f6f599c (patch) | |
tree | 04ab2246376b99915716ec1ffb4faedb63f69931 /compiler/typecheck/TcDeriv.hs | |
parent | 59026b3be1ba9afed161e1a4cfcd98d3ee021afd (diff) | |
download | haskell-fd841f877ab7a991f667a50b401404927f6f599c.tar.gz |
Fix DeriveAnyClass (again)
This patch fixes Trac #13272. The general approach was fine, but
we were simply not generating the correct implication constraint
(in particular generating fresh unification variables). I added
a lot more commentary to Note [Gathering and simplifying
constraints for DeriveAnyClass]
I'm still not very happy with the overall architecture. It feels
more complicate than it should.
Diffstat (limited to 'compiler/typecheck/TcDeriv.hs')
0 files changed, 0 insertions, 0 deletions