• Simon Peyton Jones's avatar
    Narrow the warning for simplifiable constraints · 643706e4
    Simon Peyton Jones authored
    In Trac #11948 I added the warning
    which warns if the class constraints in a type signature are
    But in fact the fragility it warns about only happens with
    NoMonoLocalBinds, so this patch switches off the warning if
    you have MonoLocalBinds (and suggests using it in the error
    See Note [Simplifiable given constraints] in TcValidity.
SomethingShowable.stderr 548 Bytes