[commit: packages/base] master: Add `/Since: 4.7.0.0/` to new entities in fc904366 (fc9b291)
git at git.haskell.org
git at git.haskell.org
Sat Sep 28 13:10:54 CEST 2013
Repository : ssh://git@git.haskell.org/base
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/fc9b291b7f2b4f42eb0a0c2467edd2d2d9d279e5/base
>---------------------------------------------------------------
commit fc9b291b7f2b4f42eb0a0c2467edd2d2d9d279e5
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date: Sat Sep 28 13:01:28 2013 +0200
Add `/Since: 4.7.0.0/` to new entities in fc904366
Signed-off-by: Herbert Valerio Riedel <hvr at gnu.org>
>---------------------------------------------------------------
fc9b291b7f2b4f42eb0a0c2467edd2d2d9d279e5
GHC/TypeLits.hs | 3 +++
1 file changed, 3 insertions(+)
diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index 4786f77..8b6353f 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -124,6 +124,8 @@ type family (m :: Nat) * (n :: Nat) :: Nat
type family (m :: Nat) ^ (n :: Nat) :: Nat
-- | Subtraction of type-level naturals.
+--
+-- /Since: 4.7.0.0/
type family (m :: Nat) - (n :: Nat) :: Nat
@@ -312,6 +314,7 @@ instance Show (IsEven n) where
-- Used both at the type and at the value level.
data Nat1 = Zero | Succ Nat1
+-- | /Since: 4.7.0.0/
type family ToNat1 (n :: Nat) where
ToNat1 0 = Zero
ToNat1 x = Succ (ToNat1 (x - 1))
More information about the ghc-commits
mailing list