• Simon Peyton Jones's avatar
    Use an Implication in 'deriving' error · 02c1c573
    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.
TcPatSyn.hs 34.7 KB