compiler/typecheck/TcGenDeriv.hs · 66c352b000222b9878417db9080295d3b3971d16 · Benjamin Maurer / GHC

Feb 20, 2015

Make the implementation of DeriveAnyClass more robust · 8e5f78df

jpm@cs.ox.ac.uk authored Feb 20, 2015

Let DeriveAnyClass properly handle multiparameter type classes.
Also use a new strategy for inferring constraints for
derived classes.

This fixes #9968 and #9821.

8e5f78df

Make the implementation of DeriveAnyClass more robust

jpm@cs.ox.ac.uk authored Feb 20, 2015

Let DeriveAnyClass properly handle multiparameter type classes.
Also use a new strategy for inferring constraints for
derived classes.

This fixes #9968 and #9821.