[commit: base] master: Fix some typos (a123775)
Gabor Greif
ggreif at gmail.com
Tue Jun 11 23:44:54 CEST 2013
Repository : ssh://darcs.haskell.org//srv/darcs/packages/base
On branch : master
https://github.com/ghc/packages-base/commit/a1237751ae6ee1b17599baba0564d97d4583861d
>---------------------------------------------------------------
commit a1237751ae6ee1b17599baba0564d97d4583861d
Author: Gabor Greif <ggreif at gmail.com>
Date: Tue Jun 11 23:37:02 2013 +0200
Fix some typos
>---------------------------------------------------------------
GHC/TypeLits.hs | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index 86c8958..68b0d79 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -165,7 +165,7 @@ data SomeSing :: KindIs k -> * where
-- | A definition of natural numbers in terms of singletons.
type SomeNat = SomeSing (KindParam :: KindIs Nat)
--- | A definition of strings in tterms of singletons.
+-- | A definition of strings in terms of singletons.
type SomeSymbol = SomeSing (KindParam :: KindIs Symbol)
-- | The class of function that can promote a representation value
@@ -201,7 +201,7 @@ However, we have no guarantees about the definition of `Sing a`,
or, indeed, the instance of `Sing`.
We use the function in the instances for `ToSing` for
-kind `Nat` and `Symbol`, where the use is guarantted to be safe.
+kind `Nat` and `Symbol`, where the use is guaranteed to be safe.
NOTE: The implementation is a bit of a hack at present,
hence all the very special annotation.
More information about the ghc-commits
mailing list