[commit: ghc] master: Pure refactoring (f1fa6eb)
Simon Peyton Jones
simonpj at microsoft.com
Mon Jan 28 22:01:05 CET 2013
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/f1fa6eb2f5f51307e72b445feac57dfa0ea7b8e6
>---------------------------------------------------------------
commit f1fa6eb2f5f51307e72b445feac57dfa0ea7b8e6
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Mon Jan 28 13:51:19 2013 +0000
Pure refactoring
* Move tidyType and friends from TcType to TypeRep
(It was always wrong to have it in TcType.)
* Move mkCoAxBranch and friends from FamInst to Coercion
* Move pprCoAxBranch and friends from FamInstEnv to Coercion
No change in functionality, though there might be a little
wibble in error message output, because I combined two different
functions both called pprCoAxBranch!
compiler/coreSyn/CoreTidy.lhs | 3 +-
compiler/ghci/Debugger.hs | 5 +-
compiler/iface/MkIface.lhs | 1 +
compiler/main/PprTyThing.hs | 1 +
compiler/main/TidyPgm.lhs | 2 +-
compiler/typecheck/FamInst.lhs | 59 +---------
compiler/typecheck/TcBinds.lhs | 1 +
compiler/typecheck/TcGenGenerics.lhs | 1 +
compiler/typecheck/TcInstDcls.lhs | 1 +
compiler/typecheck/TcRnDriver.lhs | 1 -
compiler/typecheck/TcTyClsDecls.lhs | 1 +
compiler/typecheck/TcType.lhs | 155 -------------------------
compiler/types/Coercion.lhs | 117 ++++++++++++++++++-
compiler/types/FamInstEnv.lhs | 24 ----
compiler/types/Type.lhs | 10 ++
compiler/types/TypeRep.lhs | 119 +++++++++++++++++++
compiler/vectorise/Vectorise/Generic/PData.hs | 1 +
17 files changed, 256 insertions(+), 246 deletions(-)
Diff suppressed because of size. To see it, use:
git show f1fa6eb2f5f51307e72b445feac57dfa0ea7b8e6
More information about the ghc-commits
mailing list