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 <eir@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@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-commits