[commit: packages/base] master: add 'Since' annotations and remove an unneeded import (b62f687)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/base

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/b62f687e23d90c2ff4536e4e7788e5d9acb2b66c/base

>---------------------------------------------------------------

commit b62f687e23d90c2ff4536e4e7788e5d9acb2b66c
Author: Gabor Greif <ggreif at gmail.com>
Date:   Sat Jan 4 01:43:27 2014 +0100

    add 'Since' annotations and remove an unneeded import


>---------------------------------------------------------------

b62f687e23d90c2ff4536e4e7788e5d9acb2b66c
 GHC/TypeLits.hs |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index 129beb3..c572dda 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -42,7 +42,7 @@ import GHC.Read(Read(..))
 import GHC.Prim(magicDict)
 import Data.Maybe(Maybe(..))
 import Data.Proxy(Proxy(..))
-import Data.Type.Equality(type (==), TestEquality(..), (:~:)(Refl))
+import Data.Type.Equality(type (==), (:~:)(Refl))
 import Unsafe.Coerce(unsafeCoerce)
 
 -- | (Kind) This is the kind of type-level natural numbers.
@@ -174,6 +174,7 @@ type family (m :: Nat) - (n :: Nat) :: Nat
 
 -- | We either get evidence that this function was instantiated with the
 -- same type-level numbers, or 'Nothing'.
+-- /Since: 4.7.0.0/
 sameNat :: (KnownNat a, KnownNat b) =>
            Proxy a -> Proxy b -> Maybe (a :~: b)
 sameNat x y
@@ -182,6 +183,7 @@ sameNat x y
 
 -- | We either get evidence that this function was instantiated with the
 -- same type-level symbols, or 'Nothing'.
+-- /Since: 4.7.0.0/
 sameSymbol :: (KnownSymbol a, KnownSymbol b) =>
               Proxy a -> Proxy b -> Maybe (a :~: b)
 sameSymbol x y