diff options
| author | Iavor S. Diatchki <diatchki@galois.com> | 2013-10-03 15:25:18 -0700 |
|---|---|---|
| committer | Iavor S. Diatchki <diatchki@galois.com> | 2013-10-03 15:25:18 -0700 |
| commit | 40e7236d81a15f79a2065634709daad65e037fca (patch) | |
| tree | 12b50f6cba31b5f251416c32fae1a1173fce6483 | |
| parent | ccd6d58475106056a89798203e9b3d8baebf1160 (diff) | |
| download | haskell-40e7236d81a15f79a2065634709daad65e037fca.tar.gz | |
Rename someSymVal to someSymbolVal
| -rw-r--r-- | libraries/base/GHC/TypeLits.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index 291b4371c8..3c2a2125f0 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/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 ] -------------------------------------------------------------------------------- |