Repository : ssh://darcs.haskell.org//srv/darcs/packages/base On branch : master
http://hackage.haskell.org/trac/ghc/changeset/b5b5ec18819fb85ebf1bdb6345ac031787e6fd54 >--------------------------------------------------------------- commit b5b5ec18819fb85ebf1bdb6345ac031787e6fd54 Author: Iavor S. Diatchki <[email protected]> Date: Sun Apr 8 19:37:56 2012 -0700 Rewrite to use just one notion of singletons. This avoids the duplication of types and classes for each separate type of literal: before we had two copies of most functions, one for numbers and one for strings. Now we just have one polymorphic (both at the type and the kind level!) version, which uses a type function and polymorphic kinds in an interesting way. GHC/TypeLits.hs | 140 ++++++++++++++++++------------------------------------- 1 files changed, 46 insertions(+), 94 deletions(-) Diff suppressed because of size. To see it, use: git show b5b5ec18819fb85ebf1bdb6345ac031787e6fd54 _______________________________________________ Cvs-libraries mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-libraries
