[commit: ghc] master: Change the representation and move TcBuiltInSynFamily. (19b8809)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/19b8809c477f4d296cbd6c1736e9a288fdcd6220/ghc

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

commit 19b8809c477f4d296cbd6c1736e9a288fdcd6220
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Thu Nov 14 10:50:52 2013 -0800

    Change the representation and move TcBuiltInSynFamily.
    
    The changes in more detail:
    
      * `TcBuiltInSynFamily` is now known as `BuiltinSynFamily` and
         lives in `CoAxiom`
    
      * `sfMatchFam` returns (CoAxiomRule, [Type], Type),
         which is enough to make Coersion or TcCoercion,
         depending on what what we need.
    
      * The rest of the compiler is updated to reflect these changes,
        most notably we can eliminate the cludge (XXX) in FamInstEnv
        and remove the lhs-boot file.


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

19b8809c477f4d296cbd6c1736e9a288fdcd6220
 compiler/typecheck/TcInteract.lhs  |    2 +-
 compiler/typecheck/TcSMonad.lhs    |    5 ++-
 compiler/typecheck/TcTypeNats.hs   |   62 +++++++++++++++++-------------------
 compiler/types/CoAxiom.lhs         |   21 +++++++++++-
 compiler/types/FamInstEnv.lhs      |   42 +++---------------------
 compiler/types/FamInstEnv.lhs-boot |    5 ---
 compiler/types/TyCon.lhs           |    5 ++-
 7 files changed, 61 insertions(+), 81 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 19b8809c477f4d296cbd6c1736e9a288fdcd6220