[commit: ghc] wip/tc/typeable-with-kinds: Most of the custom solver for typeable. What's missing: (b050a98)

[git at git.haskell.org]

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

On branch  : wip/tc/typeable-with-kinds
Link       : http://ghc.haskell.org/trac/ghc/changeset/b050a98cbabfb256c693d8b83e6cfdaa74183e70/ghc

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

commit b050a98cbabfb256c693d8b83e6cfdaa74183e70
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.


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

b050a98cbabfb256c693d8b83e6cfdaa74183e70
 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 ++++++++++++++++++++++++--------
 7 files changed, 236 insertions(+), 22 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 b050a98cbabfb256c693d8b83e6cfdaa74183e70