[commit: ghc] wip/gadtpm: inconclusive equality on overloaded literals remains unhandled (5336c96)

[git at git.haskell.org]

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

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/5336c96e63c48d3d88683e64b878ed2f49f75bf5/ghc

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

commit 5336c96e63c48d3d88683e64b878ed2f49f75bf5
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Sun Nov 29 16:15:35 2015 +0100

    inconclusive equality on overloaded literals remains unhandled


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

5336c96e63c48d3d88683e64b878ed2f49f75bf5
 compiler/deSugar/TmOracle.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/deSugar/TmOracle.hs b/compiler/deSugar/TmOracle.hs
index 781e4a2..35db7d7 100644
--- a/compiler/deSugar/TmOracle.hs
+++ b/compiler/deSugar/TmOracle.hs
@@ -109,7 +109,7 @@ solveComplexEq solver_state@(standby, (unhandled, env)) eq@(e1, e2) = case eq of
     Just False -> Nothing                     -- we are sure: not equal
     -- Maybe just drop. We use this boolean to check also whether something is forced and I know
     -- that nothing is if both are literals. Hence, just assume true and give (Just solver_state)?
-    Nothing    -> Just (standby, (unhandled, env)) -- no clue (and won't get one)!
+    Nothing    -> Just (standby, (True, env)) -- no clue (and won't get one)!
 
   (PmExprCon c1 ts1, PmExprCon c2 ts2)
     | c1 == c2  -> foldlM solveComplexEq solver_state (zip ts1 ts2)