diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-26 11:26:42 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-27 09:29:13 +0100 |
| commit | f13a0fc0bd33c513c0fadd1da58823d5fabfc5a7 (patch) | |
| tree | 6b3e3b08d1a96e9fede59d8c6285c8e4628a79ff | |
| parent | b47a6c3a6d9c5da341184824549a6a835c79de15 (diff) | |
| download | haskell-f13a0fc0bd33c513c0fadd1da58823d5fabfc5a7.tar.gz | |
Comments only
| -rw-r--r-- | compiler/deSugar/TmOracle.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/deSugar/TmOracle.hs b/compiler/deSugar/TmOracle.hs index 3644c7847c..d6364bef52 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 |