[commit: ghc] overlapping-tyfams: First implementation complete. Closed type families are accepted. (d64165f)

[Richard Eisenberg]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : overlapping-tyfams

https://github.com/ghc/ghc/commit/d64165f4b9b327afb2a4deb3805770ab2e90b781

>---------------------------------------------------------------

commit d64165f4b9b327afb2a4deb3805770ab2e90b781
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Jun 18 17:40:59 2013 +0100

    First implementation complete. Closed type families are accepted.
    
    But, they don't work at all, as expected. Need to do more tests now.

 compiler/deSugar/DsMeta.hs                   | 111 +++++++++++++++++----------
 compiler/hsSyn/Convert.lhs                   |  15 ++--
 compiler/hsSyn/HsDecls.lhs                   |   3 +
 compiler/iface/MkIface.lhs                   |   1 -
 compiler/main/HscTypes.lhs                   |   4 +-
 compiler/main/PprTyThing.hs                  |   6 +-
 compiler/typecheck/FamInst.lhs               |   9 +--
 compiler/typecheck/TcDeriv.lhs               |   6 +-
 compiler/typecheck/TcExpr.lhs                |   3 +-
 compiler/typecheck/TcGenDeriv.lhs            |   1 -
 compiler/typecheck/TcGenGenerics.lhs         |   3 +-
 compiler/typecheck/TcHsType.lhs              |   2 +-
 compiler/typecheck/TcInstDcls.lhs            |  27 +++----
 compiler/typecheck/TcInteract.lhs            |  11 ++-
 compiler/typecheck/TcRnDriver.lhs            |  11 +--
 compiler/typecheck/TcSplice.lhs              |  57 +++++++-------
 compiler/typecheck/TcTyClsDecls.lhs          |  76 ++++++++++--------
 compiler/typecheck/TcValidity.lhs            |  13 +++-
 compiler/types/CoAxiom.lhs                   |  21 ++---
 compiler/types/Coercion.lhs                  |  10 ++-
 compiler/types/FamInstEnv.lhs                |  22 +++++-
 compiler/types/TyCon.lhs                     |   8 +-
 compiler/vectorise/Vectorise.hs              |   3 +-
 compiler/vectorise/Vectorise/Utils/Base.hs   |   6 +-
 compiler/vectorise/Vectorise/Utils/PADict.hs |   2 +-
 ghc/InteractiveUI.hs                         |   4 +-
 26 files changed, 257 insertions(+), 178 deletions(-)


Diff suppressed because of size. To see it, use:

    git show d64165f4b9b327afb2a4deb3805770ab2e90b781