[commit: ghc] master: Typo in note (1f8f927)
git at git.haskell.org
git at git.haskell.org
Mon May 12 22:49:59 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/1f8f927360f163eded62f7312d3d37bd93c5bfe7/ghc
>---------------------------------------------------------------
commit 1f8f927360f163eded62f7312d3d37bd93c5bfe7
Author: Gabor Greif <ggreif at gmail.com>
Date: Tue May 13 00:49:30 2014 +0200
Typo in note
>---------------------------------------------------------------
1f8f927360f163eded62f7312d3d37bd93c5bfe7
compiler/typecheck/TcSMonad.lhs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs
index dee4fe4..70ba19e 100644
--- a/compiler/typecheck/TcSMonad.lhs
+++ b/compiler/typecheck/TcSMonad.lhs
@@ -487,7 +487,7 @@ givens effectively look like
(C fsk b, F a ~ fsk)
Then we simplify the wanteds, transforming (C (F a) beta) to (C fsk beta).
Now, if we don't solve that wanted, we'll put it back into the residual
-implicaiton. But where is fsk bound?
+implication. But where is fsk bound?
We solve this by recording the given flatten-skolems in the implication
(the ic_fsks field), so it's as if we change the implication to
More information about the ghc-commits
mailing list