[commit: ghc] typeable-with-kinds: Most of the custom solver for typeable. What's missing: (73da504)

[git at git.haskell.org]

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

On branch  : typeable-with-kinds
Link       : http://ghc.haskell.org/trac/ghc/changeset/73da504eb55c791eb6f2fff555641dfca6b548d3/ghc

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

commit 73da504eb55c791eb6f2fff555641dfca6b548d3
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Mon Feb 9 17:09:39 2015 -0800

    Most of the custom solver for typeable.  What's missing:
    
    * All the scaffolding is there, but solver is not connected in TcInteract
    * The final step of the dsugaring---where we actually make the expressions
      for the TypeReps---is not written yet.
    
    This changes the deepseq submodule because the representation of TypeReps
    now has an extra field.


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

73da504eb55c791eb6f2fff555641dfca6b548d3
 compiler/basicTypes/MkId.hs              |  1 +
 compiler/deSugar/DsBinds.hs              | 58 +++++++++++++++++++++++++
 compiler/typecheck/TcDeriv.hs            |  5 ++-
 compiler/typecheck/TcEvidence.hs         | 46 ++++++++++++++++++++
 compiler/typecheck/TcHsSyn.hs            | 14 ++++++
 compiler/typecheck/TcInteract.hs         | 60 +++++++++++++++++++++++++-
 libraries/base/Data/Typeable/Internal.hs | 74 ++++++++++++++++++++++++--------
 libraries/deepseq                        |  2 +-
 8 files changed, 237 insertions(+), 23 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 73da504eb55c791eb6f2fff555641dfca6b548d3