• 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.
all.T 23.3 KB