• Simon Peyton Jones's avatar
    Look inside implications in simplifyRule · e9ae0cae
    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.
    e9ae0cae
T14732.hs 892 Bytes