[commit: ghc] master: Implement ordering comparisons for type-level naturals and symbols. (5e4bdb5)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/5e4bdb5fc5e741522cbb787731422da3f12aa398/ghc

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

commit 5e4bdb5fc5e741522cbb787731422da3f12aa398
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Tue Mar 18 18:54:23 2014 -0700

    Implement ordering comparisons for type-level naturals and symbols.
    
    This is done with two built-in type families: `CmpNat and `CmpSymbol`.
    Both of these return a promoted `Ordering` type (EQ, LT, or GT).


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

5e4bdb5fc5e741522cbb787731422da3f12aa398
 compiler/prelude/PrelNames.lhs   |    3 +
 compiler/prelude/TysWiredIn.lhs  |   16 +++++
 compiler/typecheck/TcTypeNats.hs |  142 +++++++++++++++++++++++++++++++++++++-
 3 files changed, 160 insertions(+), 1 deletion(-)

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 5e4bdb5fc5e741522cbb787731422da3f12aa398