diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-05-13 00:49:30 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-05-13 00:49:30 +0200 |
| commit | 1f8f927360f163eded62f7312d3d37bd93c5bfe7 (patch) | |
| tree | ab24815a687582ee3f39bad11b2900308d00154a | |
| parent | 315fff63c67ff160578803914a4ada946399270f (diff) | |
| download | haskell-1f8f927360f163eded62f7312d3d37bd93c5bfe7.tar.gz | |
Typo in note
| -rw-r--r-- | compiler/typecheck/TcSMonad.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs index dee4fe4dc5..70ba19e157 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 |