• dimitris's avatar
    Fixes the way we check if flattening happened during · b6264a6b
    dimitris authored
    canonicalization. We now check whether the returned
    coercion is an identity coercion. We used to check
    whether we return any constraints from flattening but
    that's wrong in the presence of the flattening cache.
TcSMonad.lhs 33.4 KB