[commit: ghc] type-nats-simple: Add a new evidence constructor: CoAxiomRule (e27d1a8)

[git at git.haskell.org]

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

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

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

commit e27d1a8c81833a51e9eeb9f9418d95b216aad2a3
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Tue Sep 3 22:50:03 2013 -0700

    Add a new evidence constructor: CoAxiomRule
    
    This is used to represent generic evidence rules of the form:
    
    forall as. (s1 ~ t1, ..., sn ~ tn) => (p ~ q)
    
    The plan is to use to record evidence for evaluating built-in type-level
    functions (e.g., evaluation of type-level natural numbers).


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

e27d1a8c81833a51e9eeb9f9418d95b216aad2a3
 compiler/basicTypes/Unique.lhs      |    7 +++++
 compiler/coreSyn/CoreLint.lhs       |   24 +++++++++++++++
 compiler/coreSyn/MkExternalCore.lhs |    2 ++
 compiler/coreSyn/TrieMap.lhs        |   24 ++++++++++++---
 compiler/deSugar/DsBinds.lhs        |    5 ++++
 compiler/iface/IfaceSyn.lhs         |    4 +++
 compiler/iface/IfaceType.lhs        |   18 ++++++++++++
 compiler/iface/MkIface.lhs          |    2 ++
 compiler/iface/TcIface.lhs          |   10 +++++++
 compiler/main/HscTypes.lhs          |    2 ++
 compiler/main/PprTyThing.hs         |    2 ++
 compiler/typecheck/TcEvidence.lhs   |   30 +++++++++++++++++++
 compiler/typecheck/TcHsSyn.lhs      |    4 +++
 compiler/typecheck/TcType.lhs       |    2 ++
 compiler/types/CoAxiom.lhs          |   55 ++++++++++++++++++++++++++++++++++-
 compiler/types/Coercion.lhs         |   51 ++++++++++++++++++++++++++++++++
 compiler/types/OptCoercion.lhs      |    9 ++++++
 compiler/types/TypeRep.lhs          |    3 ++
 ghc/GhciTags.hs                     |    2 ++
 19 files changed, 251 insertions(+), 5 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 e27d1a8c81833a51e9eeb9f9418d95b216aad2a3