• Simon Peyton Jones's avatar
    Look inside implications in simplifyRule · d3573e4a
    Simon Peyton Jones authored
    Trac #14732 was a perpelexing bug in which -fdefer-typed-holes
    caused a mysterious type error in a RULE.  This turned out to
    be because we are more aggressive about creating implications
    when deferring (see TcUnify.implicationNeeded), and the rule
    mechanism hadn't caught up.
    
    This fixes it.
    
    (cherry picked from commit e9ae0cae)
    d3573e4a
TcRules.hs 15.9 KB