• eir@cis.upenn.edu's avatar
    Decompose wanted repr. eqs. when no matchable givens. · ff82387d
    eir@cis.upenn.edu authored
    This is pursuant to a conversion with SPJ, where we agreed that
    the logic behind Note [Instance and Given overlap] in TcInteract
    applied to newtype decomposition for representational equality.
    There is no bug report or test case, as tickling this kind of thing
    is quite hard to do!
TcInteract.hs 76.6 KB