[commit: ghc] wip/ext-solver: Clarify comment. (7ef3656)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ext-solver
Link       : http://ghc.haskell.org/trac/ghc/changeset/7ef36561bc080007ee70fe49071e96a3c6a6eca6/ghc

>---------------------------------------------------------------

commit 7ef36561bc080007ee70fe49071e96a3c6a6eca6
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sat May 10 12:00:04 2014 -0700

    Clarify comment.


>---------------------------------------------------------------

7ef36561bc080007ee70fe49071e96a3c6a6eca6
 compiler/typecheck/TcTypeNats.hs | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcTypeNats.hs b/compiler/typecheck/TcTypeNats.hs
index 4144906..3114184 100644
--- a/compiler/typecheck/TcTypeNats.hs
+++ b/compiler/typecheck/TcTypeNats.hs
@@ -952,8 +952,13 @@ solverNewWork proc viRef loc withEv =
                                        $ mkNewFact loc withEv (mkTyVarTy tv, ty)
             return $ ExtSolOk $ mapMaybe toCt imps
 
--- Check a list of constraints for consistency, and computer derived work.
--- Assumes that all constraints are given or all are not given.
+{-
+Check a list of constraints for consistency, and computer derived work.
+Does not affect set off assertions in the solver.
+Assumes that either:
+  * all constraints are given, or
+  * all are not given.
+-}
 solverImprove :: SolverProcess -> IORef VarInfo
               -> [Ct] -> IO ExtSolRes
 solverImprove proc viRef cts =