Add newline before two `/Since: 4.7.0.0/` occurences
authorHerbert Valerio Riedel <hvr@gnu.org>
Wed, 29 Jan 2014 12:03:29 +0000 (13:03 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Wed, 29 Jan 2014 12:03:29 +0000 (13:03 +0100)
See also `/Since: .../` convention described in
6368362f4486226dee9d54665b4fdffde24e56f1

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
GHC/TypeLits.hs

index c572dda..e85b36c 100644 (file)
@@ -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)
@@ -183,6 +184,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)