[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