diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-18 12:32:51 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-18 12:32:51 +0100 |
commit | db1a8c4497f8c5c3c3d7d58b0b36687787c0b648 (patch) | |
tree | 15bc32a2848046ab78cd74945e60f3fffa9ed420 /libraries/base/GHC/TypeLits.hs | |
parent | c503eff92a5d0b6601aa3cf5e752ce4b29714300 (diff) | |
download | haskell-db1a8c4497f8c5c3c3d7d58b0b36687787c0b648.tar.gz |
Remove now-unnecessary NOINLINE pragmas
The NOINLINEs were a work-around for a bug that was fixed
by patch f7e7948 to ghc, which also fixed Trac #8449
Diffstat (limited to 'libraries/base/GHC/TypeLits.hs')
-rw-r--r-- | libraries/base/GHC/TypeLits.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index ec48bf1335..e88fc31c32 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/GHC/TypeLits.hs @@ -76,14 +76,12 @@ data SomeNat = forall n. KnownNat n => SomeNat (Proxy n) data SomeSymbol = forall n. KnownSymbol n => SomeSymbol (Proxy n) -- | Convert an integer into an unknown type-level natural. -{-# NOINLINE someNatVal #-} someNatVal :: Integer -> Maybe SomeNat someNatVal n | n >= 0 = Just (withSNat SomeNat (SNat n) Proxy) | otherwise = Nothing -- | Convert a string into an unknown type-level symbol. -{-# NOINLINE someSymbolVal #-} someSymbolVal :: String -> SomeSymbol someSymbolVal n = withSSymbol SomeSymbol (SSymbol n) Proxy |