[commit: ghc] master: Refactoring only (1af0d36)
git at git.haskell.org
git at git.haskell.org
Thu Dec 24 15:01:20 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/1af0d36be801a2039ba5c3c1546f06b6dad9b7a1/ghc
>---------------------------------------------------------------
commit 1af0d36be801a2039ba5c3c1546f06b6dad9b7a1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Dec 24 14:55:35 2015 +0000
Refactoring only
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
>---------------------------------------------------------------
1af0d36be801a2039ba5c3c1546f06b6dad9b7a1
compiler/coreSyn/CoreFVs.hs | 103 ++++++++++++++++++++++++++++++++++++-
compiler/iface/BuildTyCl.hs | 9 ++--
compiler/iface/IfaceSyn.hs | 2 +-
compiler/main/InteractiveEval.hs | 3 +-
compiler/prelude/TysWiredIn.hs | 4 +-
compiler/typecheck/Inst.hs | 1 +
compiler/typecheck/TcHsType.hs | 4 +-
compiler/typecheck/TcRnDriver.hs | 1 +
compiler/typecheck/TcTyClsDecls.hs | 4 +-
compiler/typecheck/TcType.hs | 88 +------------------------------
compiler/types/CoAxiom.hs | 17 +++---
compiler/types/Coercion.hs | 23 +--------
compiler/types/FamInstEnv.hs | 92 +++++++++++++++++++--------------
compiler/types/InstEnv.hs | 58 ++++++++-------------
compiler/types/TyCoRep.hs | 5 +-
compiler/types/Type.hs | 7 ++-
compiler/types/Unify.hs | 32 ++++++++++++
17 files changed, 247 insertions(+), 206 deletions(-)
Diff suppressed because of size. To see it, use:
git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 1af0d36be801a2039ba5c3c1546f06b6dad9b7a1
More information about the ghc-commits
mailing list