Typos in notes
authorggreif <ggreif@gmail.com>
Mon, 15 Jun 2015 16:10:24 +0000 (18:10 +0200)
committerGabor Greif <ggreif@gmail.com>
Fri, 2 Sep 2016 09:45:43 +0000 (11:45 +0200)
compiler/typecheck/TcSMonad.hs

index 687168b..7da1939 100644 (file)
@@ -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.
 -}