[commit: base] master: Rewrite to use just one notion of singletons. (b5b5ec1)

[Iavor Diatchki]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/base

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/b5b5ec18819fb85ebf1bdb6345ac031787e6fd54

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

commit b5b5ec18819fb85ebf1bdb6345ac031787e6fd54
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun Apr 8 19:37:56 2012 -0700

    Rewrite to use just one notion of singletons.
    
    This avoids the duplication of types and classes for each separate
    type of literal: before we had two copies of most functions, one for
    numbers and one for strings.  Now we just have one polymorphic (both
    at the type and the kind level!) version, which uses a type function
    and polymorphic kinds in an interesting way.

 GHC/TypeLits.hs |  140 ++++++++++++++++++-------------------------------------
 1 files changed, 46 insertions(+), 94 deletions(-)


Diff suppressed because of size. To see it, use:

    git show b5b5ec18819fb85ebf1bdb6345ac031787e6fd54