-
Simon Peyton Jones authored
Trac #11437 showed that erroneous constraints from a 'deriving' clause need to be wrapped in an Implication to properly scope their skolems. The main change is in TcDeriv.simplifyDeriv; the call to buildImplicationFor is new. (cherry picked from commit 02c1c573)
6c956b6d