diff options
author | Iavor S. Diatchki <diatchki@galois.com> | 2014-06-16 15:56:19 -0700 |
---|---|---|
committer | Iavor S. Diatchki <diatchki@galois.com> | 2014-06-16 15:56:19 -0700 |
commit | e09be5ff6e92593ba8e1202b1574a62a17b329ba (patch) | |
tree | 03b564be7f1401bbff1e79ceebc2dde13fcbe143 /libraries | |
parent | 5ffc68bb75d34414987b5d1e5aa4f9061a7a7383 (diff) | |
download | haskell-e09be5ff6e92593ba8e1202b1574a62a17b329ba.tar.gz |
Update the incorrect comment on when function was introduced.
Diffstat (limited to 'libraries')
-rw-r--r-- | libraries/base/GHC/TypeLits.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index cc76bc9101..7ae6fb0422 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/GHC/TypeLits.hs @@ -81,12 +81,12 @@ symbolVal :: forall n proxy. KnownSymbol n => proxy n -> String symbolVal _ = case symbolSing :: SSymbol n of SSymbol x -> x --- | /Since: 4.7.0.0/ +-- | /Since: 4.7.1.0/ natVal' :: forall n. KnownNat n => Proxy# n -> Integer natVal' _ = case natSing :: SNat n of SNat x -> x --- | /Since: 4.7.0.0/ +-- | /Since: 4.7.1.0/ symbolVal' :: forall n. KnownSymbol n => Proxy# n -> String symbolVal' _ = case symbolSing :: SSymbol n of SSymbol x -> x |