• Simon Peyton Jones's avatar
    Simplify the typechecking of RULES · 5aa1ae24
    Simon Peyton Jones authored
    Not only does this fix Trac #5853, but it also eliminate
    the horrid SimplEqsOnly part of the constraint simplifier.
    
    The new plan is described in TcRules
     Note [Simplifying RULE constraints]
    5aa1ae24
TcSMonad.lhs 61.6 KB