[commit: ghc] master: Wibble report a wanted (ecfe38e)

[git at git.haskell.org]

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

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

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

commit ecfe38ef622a73a88caf9857d1752bd2d7541361
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Oct 23 09:10:21 2018 +0100

    Wibble report a wanted


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

ecfe38ef622a73a88caf9857d1752bd2d7541361
 compiler/typecheck/TcRnTypes.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs
index 8119be5..131e57b 100644
--- a/compiler/typecheck/TcRnTypes.hs
+++ b/compiler/typecheck/TcRnTypes.hs
@@ -2412,9 +2412,12 @@ insolubleWC (WC { wc_impl = implics, wc_simple = simples })
 
 insolubleCt :: Ct -> Bool
 -- Definitely insoluble, in particular /excluding/ type-hole constraints
+-- Namely: a) an equality constraint
+--         b) that is insoluble
+--         c) and does not arise from a Given
 insolubleCt ct
-  | not (insolubleEqCt ct) = False
   | isHoleCt ct            = isOutOfScopeCt ct  -- See Note [Insoluble holes]
+  | not (insolubleEqCt ct) = False
   | arisesFromGivens ct    = False              -- See Note [Given insolubles]
   | otherwise              = True