• Simon Peyton Jones's avatar
    Use partial-sig constraints as givens · e24b50c3
    Simon Peyton Jones authored
    In TcSimplify.simplifyInfer, use the context of a partial type
    signature as 'givens' when simplifying the inferred constraints of the
    group.  This way we get maximum benefit from them.  See
    Note [Add signature contexts as givens].
    
    This (finally) fixes test EqualityConstraints in Trac #9478.
    
    And it's a nice tidy-up.
    e24b50c3
TcSimplify.hs 88.5 KB