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

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[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