From b8ddaa3619a0a1309e6e248ad020c53a574f19e5 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Mon, 24 Jul 2017 09:31:24 +0800
Subject: [PATCH] Revert "sbv < 7.0 (LeventErkok/sbv#315)" and let testsuite
 fail

sbv-7 requires z3-4.5+
---
 build-constraints.yaml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index b9f1e6cf..3f55807f 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3313,9 +3313,6 @@ packages:
         # https://github.com/fpco/stackage/issues/2646
         - cron < 0.6
 
-        # https://github.com/LeventErkok/sbv/issues/315
-        - sbv < 7.0
-
         # https://github.com/fpco/stackage/issues/2656
         - happstack-server < 7.5.0
 # end of packages
@@ -3684,6 +3681,7 @@ expected-test-failures:
     - rethinkdb
     - rethinkdb-client-driver
     - riak
+    - sbv # needs z3 >= 4.5 (Xenial has 4.4)
     - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
     - serversession-backend-redis # redis
     - shake # Needs ghc on $PATH with some installed haskell packages