[commit: ghc] master: Comments only (ab44ff8)

git at git.haskell.org git at git.haskell.org
Sun Sep 23 11:16:32 UTC 2018


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

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

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

commit ab44ff817bcbf81aa5311eb8bb6f2073f521bd26
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Sep 20 20:05:05 2018 +0100

    Comments only


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

ab44ff817bcbf81aa5311eb8bb6f2073f521bd26
 compiler/typecheck/TcSMonad.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs
index 5bf5cef..db29f67 100644
--- a/compiler/typecheck/TcSMonad.hs
+++ b/compiler/typecheck/TcSMonad.hs
@@ -2196,7 +2196,7 @@ are some wrinkles:
 Note [Let-bound skolems]
 ~~~~~~~~~~~~~~~~~~~~~~~~
 If   * the inert set contains a canonical Given CTyEqCan (a ~ ty)
-and  * 'a' is a skolem bound in this very implication, b
+and  * 'a' is a skolem bound in this very implication,
 
 then:
 a) The Given is pretty much a let-binding, like



More information about the ghc-commits mailing list