• Simon Peyton Jones's avatar
    Use an Implication in 'deriving' error · 6c956b6d
    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
T10561.stderr 339 Bytes