Repository : ssh://g...@git.haskell.org/base
On branch : master
Link :
http://ghc.haskell.org/trac/ghc/changeset/e5b3b3f85d3b85c0116991d8b3c7fb0be61ec8d5/base
>---------------------------------------------------------------
commit e5b3b3f85d3b85c0116991d8b3c7fb0be61ec8d5
Author: Iavor S. Diatchki <diatc...@galois.com>
Date: Thu Oct 3 15:25:18 2013 -0700
Rename someSymVal to someSymbolVal
>---------------------------------------------------------------
e5b3b3f85d3b85c0116991d8b3c7fb0be61ec8d5
GHC/TypeLits.hs | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index 291b437..3c2a212 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -24,7 +24,7 @@ module GHC.TypeLits
-- * Linking type and value level
, KnownNat(..), KnownSymbol(..)
, SomeNat(..), SomeSymbol(..)
- , someNatVal, someSymVal
+ , someNatVal, someSymbolVal
-- * Functions on type nats
, type (<=), type (<=?), type (+), type (*), type (^), type (-)
@@ -80,8 +80,8 @@ someNatVal n
| otherwise = Nothing
-- | Convert a string into an unknown type-level symbol.
-someSymVal :: String -> SomeSymbol
-someSymVal n = forgetSingSymbol (SSym n)
+someSymbolVal :: String -> SomeSymbol
+someSymbolVal n = forgetSingSymbol (SSym n)
instance Eq SomeNat where
SomeNat x == SomeNat y = natVal x == natVal y
@@ -109,7 +109,7 @@ instance Show SomeSymbol where
showsPrec p (SomeSymbol x) = showsPrec p (symbolVal x)
instance Read SomeSymbol where
- readsPrec p xs = [ (someSymVal a, ys) | (a,ys) <- readsPrec p xs ]
+ readsPrec p xs = [ (someSymbolVal a, ys) | (a,ys) <- readsPrec p xs ]
--------------------------------------------------------------------------------
_______________________________________________
ghc-commits mailing list
ghc-commits@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-commits
