[commit: ghc] master: Typos in comments (3d81359)
git at git.haskell.org
git at git.haskell.org
Thu Jun 19 11:34:16 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/3d8135935f727f90210ae20a2fb329058536a2f4/ghc
>---------------------------------------------------------------
commit 3d8135935f727f90210ae20a2fb329058536a2f4
Author: Gabor Greif <ggreif at gmail.com>
Date: Wed Jun 18 20:39:38 2014 +0200
Typos in comments
>---------------------------------------------------------------
3d8135935f727f90210ae20a2fb329058536a2f4
libraries/base/Data/Typeable/Internal.hs | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index 4912de9..e962752 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -435,15 +435,15 @@ deriving instance Typeable Typeable
{- Note [Potential Collisions in `Nat` and `Symbol` instances]
-Kinds resulting from lifted types have finately many type-constructors.
-This is not the case for `Nat` and `Symbol`, which both contain *infinately*
+Kinds resulting from lifted types have finitely many type-constructors.
+This is not the case for `Nat` and `Symbol`, which both contain *infinitely*
many type constructors (e.g., `Nat` has 0, 1, 2, 3, etc.). One might think
that this would increase the chance of hash-collisions in the type but this
-is not the case because the finger-print stored in a `TypeRep` identifies
+is not the case because the fingerprint stored in a `TypeRep` identifies
the whole *type* and not just the type constructor. This is why the chance
of collisions for `Nat` and `Symbol` is not any worse than it is for other
-lifted types with infinately many inhabitants. Indeed, `Nat` is
-isomorphic to (lifted) `[()]` and `Symbol` is isomprohic to `[Char]`.
+lifted types with infinitely many inhabitants. Indeed, `Nat` is
+isomorphic to (lifted) `[()]` and `Symbol` is isomorphic to `[Char]`.
-}
-- See `Note [Kinds Containing Only Literals]` in `types/Unify.hs` for
More information about the ghc-commits
mailing list