diff options
| -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 ] -------------------------------------------------------------------------------- |