[commit: base] type-reasoning: Reorganized TypeLits and related files as a strawman proposal. (3b04724)

[Richard Eisenberg]

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

On branch  : type-reasoning

http://hackage.haskell.org/trac/ghc/changeset/3b04724f6060ddde071b41ab9dd5b73b349bf9a0

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

commit 3b04724f6060ddde071b41ab9dd5b73b349bf9a0
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Feb 11 21:21:07 2013 -0500

    Reorganized TypeLits and related files as a strawman proposal.
    
    This commit breaks TypeLits up into four new files:
    - GHC.TypeEq, which contains definitions relating to (:~:)
    - GHC.Singletons, which contains all singletons definitions
    that are not specific to type-level literals
    - GHC.TypeLits.Internals, which is needed to create an "Unsafe"
    module
    - GHC.TypeLits.Unsafe, which defines unsafeSingNat and unsafeSingSymbol.
    
    These changes are intended purely to provoke discussion, not properly
    as a recommendation of what we should do.

 GHC/Singletons.hs         |  109 +++++++++++++++++++++++++
 GHC/TypeEq.hs             |   34 ++++++++
 GHC/TypeLits.hs           |  198 ++++++++++-----------------------------------
 GHC/TypeLits.hs-boot      |   10 +++
 GHC/TypeLits/Internals.hs |   17 ++++
 GHC/TypeLits/Unsafe.hs    |   17 ++++
 base.cabal                |    5 +
 7 files changed, 235 insertions(+), 155 deletions(-)


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

    git show 3b04724f6060ddde071b41ab9dd5b73b349bf9a0