[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