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

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

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

Assign users and groups as approvers for specific file changes. Learn more.