[commit: base] master: typos (2651c91)
Gabor Greif
ggreif at gmail.com
Fri Jan 25 17:43:07 CET 2013
Repository : ssh://darcs.haskell.org//srv/darcs/packages/base
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/2651c915eeb709bb91289922dd257c4b1320660a
>---------------------------------------------------------------
commit 2651c915eeb709bb91289922dd257c4b1320660a
Author: Gabor Greif <ggreif at gmail.com>
Date: Fri Jan 25 17:38:16 2013 +0100
typos
>---------------------------------------------------------------
GHC/TypeLits.hs | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index befda8e..2563ba7 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -239,7 +239,7 @@ instance Show (a :~: b) where
{- | Check if two type-natural singletons of potentially different types
are indeed the same, by comparing their runtime representations.
-WARNING: in combination with `unsafeSingNat` this may lead to unsoudness:
+WARNING: in combination with `unsafeSingNat` this may lead to unsoundness:
> eqSingNat (sing :: Sing 1) (unsafeSingNat 1 :: Sing 2)
> == Just (Refl :: 1 :~: 2)
@@ -253,7 +253,7 @@ eqSingNat x y
{- | Check if two symbol singletons of potentially different types
are indeed the same, by comparing their runtime representations.
-WARNING: in combination with `unsafeSingSymbol` this may lead to unsoudness
+WARNING: in combination with `unsafeSingSymbol` this may lead to unsoundness
(see `eqSingNat` for an example).
-}
More information about the ghc-commits
mailing list