[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