[commit: ghc] master: Comments only (f13a0fc)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/f13a0fc0bd33c513c0fadd1da58823d5fabfc5a7/ghc

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

commit f13a0fc0bd33c513c0fadd1da58823d5fabfc5a7
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Mar 26 11:26:42 2018 +0100

    Comments only


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

f13a0fc0bd33c513c0fadd1da58823d5fabfc5a7
 compiler/deSugar/TmOracle.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/deSugar/TmOracle.hs b/compiler/deSugar/TmOracle.hs
index 3644c78..d6364be 100644
--- a/compiler/deSugar/TmOracle.hs
+++ b/compiler/deSugar/TmOracle.hs
@@ -100,6 +100,10 @@ solveOneEq solver_env@(_,(_,env)) complex
   $ applySubstComplexEq env complex -- replace everything we already know
 
 -- | Solve a complex equality.
+-- Nothing => definitely unsatisfiable
+-- Just tms => I have added the complex equality and added
+--             it to the tmstate; the result may or may not be
+--             satisfiable
 solveComplexEq :: TmState -> ComplexEq -> Maybe TmState
 solveComplexEq solver_state@(standby, (unhandled, env)) eq@(e1, e2) = case eq of
   -- We cannot do a thing about these cases