diff options
author | ggreif <ggreif@gmail.com> | 2015-06-15 18:10:24 +0200 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2016-09-02 11:45:43 +0200 |
commit | 36bba475130509d6fe531277770b4c8226361961 (patch) | |
tree | 15f51dce9359fca136e506829e0d0dc3b4266077 | |
parent | 818760d68c0e5e4479a4f64fc863303ff5f23a3a (diff) | |
download | haskell-36bba475130509d6fe531277770b4c8226361961.tar.gz |
Typos in notes
-rw-r--r-- | compiler/typecheck/TcSMonad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs index 687168bfa1..7da1939748 100644 --- a/compiler/typecheck/TcSMonad.hs +++ b/compiler/typecheck/TcSMonad.hs @@ -1631,7 +1631,7 @@ After solving the Givens we take two things out of the inert set We get [D] 1 <= n, and we must remove it! Otherwise we unflatten it more then once, and assign to its fmv more than once...disaster. - It's ok to remove them because they turned not not to + It's ok to remove them because they turned out not to yield an insoluble, and hence have now done their work. -} |