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 |