[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