Forked from
Glasgow Haskell Compiler / GHC
23353 commits behind the upstream repository.
-
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
Simon Peyton Jones authoredThis 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.
Unify.hs 46.79 KiB