Wibble report a wanted
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 23 Oct 2018 08:10:21 +0000 (09:10 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 24 Oct 2018 15:38:55 +0000 (16:38 +0100)
compiler/typecheck/TcRnTypes.hs

index 8119be5..131e57b 100644 (file)
@@ -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