[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