[commit: ghc] type-nats: Current implementation of type-nats solver. (d1abc67)

[git at git.haskell.org]

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

On branch  : type-nats
Link       : http://ghc.haskell.org/trac/ghc/changeset/d1abc675a1f3e51e2ccc655270191785c39d5230/ghc

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

commit d1abc675a1f3e51e2ccc655270191785c39d5230
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun Sep 1 14:29:53 2013 -0700

    Current implementation of type-nats solver.


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

d1abc675a1f3e51e2ccc655270191785c39d5230
 compiler/basicTypes/Unique.lhs        |    5 +
 compiler/coreSyn/CoreLint.lhs         |   31 +
 compiler/coreSyn/MkExternalCore.lhs   |    1 +
 compiler/coreSyn/TrieMap.lhs          |   16 +-
 compiler/deSugar/DsBinds.lhs          |    4 +
 compiler/ghc.cabal.in                 |    3 +
 compiler/iface/IfaceSyn.lhs           |    5 +
 compiler/iface/IfaceType.lhs          |   23 +
 compiler/iface/MkIface.lhs            |    3 +
 compiler/iface/TcIface.lhs            |   12 +
 compiler/main/HscTypes.lhs            |    2 +
 compiler/main/PprTyThing.hs           |    2 +
 compiler/prelude/PrelInfo.lhs         |    3 +
 compiler/prelude/PrelNames.lhs        |   41 +-
 compiler/prelude/TysWiredIn.lhs       |  134 +++-
 compiler/typecheck/TcEvidence.lhs     |   26 +-
 compiler/typecheck/TcHsSyn.lhs        |    4 +
 compiler/typecheck/TcInteract.lhs     |    5 +-
 compiler/typecheck/TcSMonad.lhs       |    3 +
 compiler/typecheck/TcType.lhs         |    2 +
 compiler/typecheck/TcTypeNats.hs      | 1428 +++++++++++++++++++++++++++++++++
 compiler/typecheck/TcTypeNatsEval.hs  |  204 +++++
 compiler/typecheck/TcTypeNatsRules.hs |  267 ++++++
 compiler/types/CoAxiom.lhs            |   83 +-
 compiler/types/Coercion.lhs           |   38 +
 compiler/types/OptCoercion.lhs        |    6 +
 compiler/types/Type.lhs               |   60 ++
 compiler/types/TypeRep.lhs            |    4 +
 compiler/types/TypeRep.lhs-boot       |    1 +
 ghc/GhciTags.hs                       |    3 +
 30 files changed, 2401 insertions(+), 18 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 d1abc675a1f3e51e2ccc655270191785c39d5230