• 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
    1af0d36b
BuildTyCl.hs 15.8 KB