Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/5851f84733f4ef1ee158b911febd753ced619555 >--------------------------------------------------------------- commit 5851f84733f4ef1ee158b911febd753ced619555 Author: Iavor S. Diatchki <[email protected]> Date: Tue Jan 24 22:11:44 2012 -0800 Add support for type-level "strings". These are types that look like "this" and "that". They are of kind `Symbol`, defined in module `GHC.TypeLits`. For each type-level symbol `X`, we have a singleton type, `TSymbol X`. The value of the singleton type can be named with the overloaded constant `tSymbol`. Here is an example: tSymbol :: TSymbol "Hello" compiler/codeGen/ClosureInfo.lhs | 3 +- compiler/codeGen/StgCmmClosure.hs | 3 +- compiler/coreSyn/CoreLint.lhs | 4 ++- compiler/coreSyn/TrieMap.lhs | 17 +++++++++----- compiler/deSugar/DsBinds.lhs | 5 +++- compiler/hsSyn/HsTypes.lhs | 16 ++++++++++++- compiler/iface/BinIface.hs | 7 ++++- compiler/iface/IfaceType.lhs | 9 +++++-- compiler/iface/TcIface.lhs | 3 +- compiler/parser/Parser.y.pp | 3 +- compiler/parser/RdrHsSyn.lhs | 2 +- compiler/prelude/PrelNames.lhs | 42 ++++++++++++++++++++++--------------- compiler/prelude/TysPrim.lhs | 4 ++- compiler/rename/RnHsSyn.lhs | 2 +- compiler/rename/RnTypes.lhs | 9 ++++--- compiler/typecheck/TcEvidence.lhs | 39 ++++++++++++++++++++++------------ compiler/typecheck/TcHsSyn.lhs | 2 +- compiler/typecheck/TcHsType.lhs | 14 ++++++++--- compiler/typecheck/TcInteract.lhs | 7 ++++- compiler/typecheck/TcType.lhs | 3 +- compiler/types/Kind.lhs | 2 +- compiler/types/Type.lhs | 28 ++++++++++++++---------- compiler/types/TypeRep.lhs | 8 +++++- 23 files changed, 152 insertions(+), 80 deletions(-) Diff suppressed because of size. To see it, use: git show 5851f84733f4ef1ee158b911febd753ced619555 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
