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@haskell.org [mailto:ghc-commits-
| bounces@haskell.org] On Behalf Of Richard Eisenberg
| Sent: 12 February 2013 02:24
| To: ghc-commits@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
| 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@haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-commits
