• 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!
    ff82387d
TcInteract.hs 76.6 KB