@@ -228,6 +228,9 @@ defaultExpectedFailures ghcVer requireHP = execWriter $ do
228228 add "gio"
229229 add "gtk"
230230
231+ -- Requires SAT solver and old QuickCheck
232+ add "ersatz"
233+
231234 when (ghcVer == GhcMajorVersion 7 8 && requireHP) $ do
232235 -- https://github.com/vincenthz/hs-asn1/issues/11
233236 add "asn1-encoding"
@@ -397,7 +400,8 @@ defaultStablePackages ghcVer requireHP = unPackageMap $ execWriter $ do
397400 , "approximate bits bytes compensated exceptions fixed gl"
398401 , "half lens-aeson linear-accelerate log-domain"
399402 , "monad-products monad-st nats zlib-lens"
400− -- ersatz hyperloglog
403+ , "ersatz"
404+ -- hyperloglog
401405 ]
402406 when (ghcVer < GhcMajorVersion 7 8) $
403407 mapM_ (add "Edward Kmett <ekmett@gmail.com>") $ words =<<