• eir@cis.upenn.edu's avatar
    Refactor invariants for FamInsts. · 5765248b
    eir@cis.upenn.edu authored
    This commit mirrors work done in the commit for ClsInsts, 5efe9b...
    - All FamInsts have *fresh* type variables. So, no more freshness work
    in addLocalFamInst
    - Some pretty-printing code around FamInsts was cleaned up a bit
    This caused location information to be added to CoAxioms and index
    information to be added to FamInstBranches.
Coercion.lhs 44.1 KB