• dimitris's avatar
    Midstream check-in on · cc2d2e1d
    dimitris authored
       (i) Replaced a lot of clunky and fragile EvVar handling code with
           a more uniform ``flavor transformer'' API in the canonicalizer
           and the interaction solver. Now EvVars are just fields inside
           the CtFlavors.
       (ii) Significantly simplified our caching story
    This patch does not validate yet and more refactoring is on the way.
TcInteract.lhs 88 KB