compiler/types/InstEnv.hs · 2db18b8135335da2da9918b722699df684097be9 · Alex Dudarenko / GHC

Forked from Glasgow Haskell Compiler / GHC

9 years ago

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

History

Refactoring only

Simon Peyton Jones authored 9 years ago

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

Code owners