Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/5765248bbcc55a65e39e2e097a973071889cba67 >--------------------------------------------------------------- commit 5765248bbcc55a65e39e2e097a973071889cba67 Author: Richard Eisenberg <e...@cis.upenn.edu> Date: Sat Jan 5 00:04:54 2013 -0500 Refactor invariants for FamInsts. This commit mirrors work done in the commit for ClsInsts, 5efe9b... Specifically: - All FamInsts have *fresh* type variables. So, no more freshness work in addLocalFamInst Also: - Some pretty-printing code around FamInsts was cleaned up a bit This caused location information to be added to CoAxioms and index information to be added to FamInstBranches. compiler/iface/TcIface.lhs | 3 +- compiler/typecheck/FamInst.lhs | 115 +++++++------ compiler/typecheck/TcGenGenerics.lhs | 5 +- compiler/typecheck/TcInstDcls.lhs | 144 ++++++++++------ compiler/typecheck/TcMType.lhs | 16 ++- compiler/types/CoAxiom.lhs | 40 ++++- compiler/types/Coercion.lhs | 5 +- compiler/types/FamInstEnv.lhs | 186 +++++++++++++-------- compiler/vectorise/Vectorise/Generic/PAMethods.hs | 4 +- compiler/vectorise/Vectorise/Generic/PData.hs | 8 +- 10 files changed, 326 insertions(+), 200 deletions(-) Diff suppressed because of size. To see it, use: git show 5765248bbcc55a65e39e2e097a973071889cba67 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc