[commit: ghc] master: Typos in note (4dd7ae6)

git at git.haskell.org git at git.haskell.org
Mon Jul 21 08:41:13 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4dd7ae620d7b2edc5b03d6f5bd0985006e9448e3/ghc

>---------------------------------------------------------------

commit 4dd7ae620d7b2edc5b03d6f5bd0985006e9448e3
Author: Gabor Greif <ggreif at gmail.com>
Date:   Mon Jul 21 10:39:35 2014 +0200

    Typos in note


>---------------------------------------------------------------

4dd7ae620d7b2edc5b03d6f5bd0985006e9448e3
 compiler/types/Coercion.lhs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 2f499b7..38f38ed 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -1799,13 +1799,13 @@ Note [Computing a coercion kind and role]
 To compute a coercion's kind is straightforward: see coercionKind.
 But to compute a coercion's role, in the case for NthCo we need
 its kind as well.  So if we have two separate functions (one for kinds
-and one for roles) we can get exponentially bad behaviour, sinc each
-NthCo node makes a seaprate call to coercionKind, which traverses the
+and one for roles) we can get exponentially bad behaviour, since each
+NthCo node makes a separate call to coercionKind, which traverses the
 sub-tree again.  This was part of the problem in Trac #9233.
 
 Solution: compute both together; hence coercionKindRole.  We keep a
 separate coercionKind function because it's a bit more efficient if
-the kind is all you wan.
+the kind is all you want.
 
 \begin{code}
 coercionType :: Coercion -> Type



More information about the ghc-commits mailing list