Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/7c2af5cb6454ef219e2b35bc24d80624be07d2de >--------------------------------------------------------------- commit 7c2af5cb6454ef219e2b35bc24d80624be07d2de Author: Iavor S. Diatchki <[email protected]> Date: Sun Dec 18 17:21:13 2011 -0800 Extend GHC's type with a representation for type level literals. Currently, we support only numeric literals but---hopefully---these modifications should make it fairly easy to add other ones, if necessary. compiler/codeGen/ClosureInfo.lhs | 7 +++++ compiler/codeGen/StgCmmClosure.hs | 6 ++++ compiler/coreSyn/CoreLint.lhs | 10 +++++++ compiler/coreSyn/TrieMap.lhs | 36 +++++++++++++++++++++++- compiler/iface/BinIface.hs | 17 +++++++++++ compiler/iface/IfaceSyn.lhs | 1 + compiler/iface/IfaceType.lhs | 17 +++++++++++ compiler/iface/TcIface.lhs | 6 ++++ compiler/prelude/TysPrim.lhs | 6 ++++ compiler/typecheck/TcEvidence.lhs | 1 + compiler/typecheck/TcForeign.lhs | 3 ++ compiler/typecheck/TcHsType.lhs | 6 +--- compiler/typecheck/TcMType.lhs | 6 ++++ compiler/typecheck/TcSMonad.lhs | 1 + compiler/typecheck/TcSimplify.lhs | 3 +- compiler/typecheck/TcSplice.lhs | 1 + compiler/typecheck/TcTyDecls.lhs | 2 + compiler/typecheck/TcType.lhs | 14 ++++++++- compiler/typecheck/TcUnify.lhs | 5 +++ compiler/types/Coercion.lhs | 1 + compiler/types/FamInstEnv.lhs | 1 + compiler/types/Kind.lhs | 1 + compiler/types/Type.lhs | 32 ++++++++++++++++++++++ compiler/types/TypeRep.lhs | 23 +++++++++++++++- compiler/vectorise/Vectorise/Convert.hs | 1 + compiler/vectorise/Vectorise/Type/Classify.hs | 1 + compiler/vectorise/Vectorise/Type/Type.hs | 1 + 27 files changed, 199 insertions(+), 10 deletions(-) Diff suppressed because of size. To see it, use: git show 7c2af5cb6454ef219e2b35bc24d80624be07d2de _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
