[commit: ghc] overlapping-tyfams: Added normalisation of closed type families (2bd8f51)

[Richard Eisenberg]

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

On branch  : overlapping-tyfams

https://github.com/ghc/ghc/commit/2bd8f5125859bcd75c64fe5460257760f9d0acab

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

commit 2bd8f5125859bcd75c64fe5460257760f9d0acab
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Jun 19 13:04:25 2013 +0100

    Added normalisation of closed type families

 compiler/main/GHC.hs                          |  2 +-
 compiler/typecheck/FamInst.lhs                |  4 +-
 compiler/typecheck/TcInteract.lhs             | 10 +---
 compiler/typecheck/TcRnDriver.lhs             |  2 +-
 compiler/typecheck/TcSMonad.lhs               | 29 +++++++++-
 compiler/typecheck/TcSplice.lhs               |  2 +-
 compiler/types/CoAxiom.lhs                    | 15 +++--
 compiler/types/Coercion.lhs                   |  2 +-
 compiler/types/FamInstEnv.lhs                 | 82 ++++++++++++++++++++++++---
 compiler/types/TyCon.lhs                      | 10 +++-
 compiler/vectorise/Vectorise/Monad/InstEnv.hs |  2 +-
 11 files changed, 127 insertions(+), 33 deletions(-)


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

    git show 2bd8f5125859bcd75c64fe5460257760f9d0acab