[commit: ghc] master: Typos in comments [skip ci] (2dff54b)
git at git.haskell.org
git at git.haskell.org
Mon Feb 6 11:52:12 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/2dff54b39f31a81cb410682cd8e735bda22d2b57/ghc
>---------------------------------------------------------------
commit 2dff54b39f31a81cb410682cd8e735bda22d2b57
Author: Gabor Greif <ggreif at gmail.com>
Date: Mon Feb 6 12:50:42 2017 +0100
Typos in comments [skip ci]
>---------------------------------------------------------------
2dff54b39f31a81cb410682cd8e735bda22d2b57
compiler/typecheck/TcSMonad.hs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs
index caa20e0..7bc955b 100644
--- a/compiler/typecheck/TcSMonad.hs
+++ b/compiler/typecheck/TcSMonad.hs
@@ -1075,8 +1075,8 @@ it into [W] and [D], and put the [D] in the work list for further
work?
* CDictCan (C tys) or CFunEqCan (F tys ~ fsk):
- Yes if the inert set couuld rerite tys to make the class constraint,
- or type family, fire. That is, yes if the inert_eqs interects
+ Yes if the inert set could rewrite tys to make the class constraint,
+ or type family, fire. That is, yes if the inert_eqs intersects
with the free vars of tys. For this test we use rewriteableTyVars
which ignores casts and coercions in tys, because rewriting the
casts or coercions won't make the thing fire more often.
@@ -1087,7 +1087,7 @@ work?
Then we want to put [D] a ~ ty in the worklist, so we'll
get [D] ty ~ ty2 with consequent good things
- - Inert set constains [D] b ~ a, where b is in ty.
+ - Inert set contains [D] b ~ a, where b is in ty.
We can't just add [WD] a ~ ty[b] to the inert set, because
that breaks the inert-set invariants. If we tried to
canonicalise another [D] constraint mentioning 'a', we'd
More information about the ghc-commits
mailing list