• Simon Peyton Jones's avatar
    Refactoring only · 1af0d36b
    Simon Peyton Jones authored
    This moves code around to more sensible places.
    - Construction for CoAxiom is localised in FamInstEnv
    - orphNamesOfxx moves to CoreFVs
    - roughMatchTcs, instanceCantMatch moves to Unify
    - mkNewTypeCo moves from Coercion to FamInstEnv, and is
      renamed mkNewTypeCoAxiom, which makes more sense