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

[Simon Peyton-Jones]

Richard

Thanks.   I'm content for you, Iavor, Stephanie, Conor, Adam, Pedro, Dimitrios (etc) to figure out what to do here, and merge to HEAD.

Simon

| -----Original Message-----
| From: ghc-commits-bounces at haskell.org [mailto:ghc-commits-
| bounces at haskell.org] On Behalf Of Richard Eisenberg
| Sent: 12 February 2013 02:24
| To: ghc-commits at haskell.org
| Subject: [commit: base] type-reasoning: Reorganized TypeLits and related
| files as a strawman proposal. (3b04724)
| 
| Repository : ssh://darcs.haskell.org//srv/darcs/packages/base
| 
| On branch  : type-reasoning
| 
| http://hackage.haskell.org/trac/ghc/changeset/3b04724f6060ddde071b41ab9d
| d5b73b349bf9a0
| 
| >---------------------------------------------------------------
| 
| 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
| 
| _______________________________________________
| ghc-commits mailing list
| ghc-commits at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-commits