[commit: ghc] wip/ext-solver: Comment only. (581859b)

[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/581859b7011001d54012369a37c06356735f4720/ghc

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

commit 581859b7011001d54012369a37c06356735f4720
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sat May 10 15:16:12 2014 -0700

    Comment only.


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

581859b7011001d54012369a37c06356735f4720
 compiler/typecheck/TcTypeNats.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcTypeNats.hs b/compiler/typecheck/TcTypeNats.hs
index b3e7721..0b586e4 100644
--- a/compiler/typecheck/TcTypeNats.hs
+++ b/compiler/typecheck/TcTypeNats.hs
@@ -1095,7 +1095,9 @@ solverFindConstraidction proc viRef others ours =
 
 
 
-
+{- Try to solve as much as possible from the given list of constraints.
+Returns the solved constraints (with evidence), and all other constraints.
+-}
 solverSimplify :: SolverProcess -> IORef VarInfo ->
                   [Ct] -> IO ([(EvTerm,Ct)], [Ct])
 solverSimplify proc viRef cts =