• Simon Peyton Jones's avatar
    Do not unify representational equalities · ae292c6d
    Simon Peyton Jones authored
    This patch is an easy fix to Trac #15144, which was caused
    by accidentally unifying a representational equality in the
    unflattener.  (The main code in TcInteract was always careful
    not to do so, but I'd missed the test in the unflattener.)
    See Note [Do not unify representational equalities]
    in TcInteract
TcInteract.hs 118 KB