From 9daf03a48fbf8369a913adbf5014d20f0d56c253 Mon Sep 17 00:00:00 2001
From: Dan Burton <danburton.email@gmail.com>
Date: Tue, 29 Aug 2017 12:53:54 -0700
Subject: [PATCH] Skip tests for sbv per #2814

---
 build-constraints.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index c564c960..d26350de 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3324,6 +3324,8 @@ packages:
     "Stackage upper bounds":
         # https://github.com/fpco/stackage/issues/2814
         - doctest < 0.12
+        # Once unconstrained, remove the following skipped-tests
+        # - sbv
 
         # https://github.com/fpco/stackage/issues/2714
         - brick < 0.21
@@ -3545,6 +3547,7 @@ skipped-tests:
 
     # Blocked by stackage upper bounds. These can be re-enabled once
     # the relevant stackage upper bound is lifted.
+    - sbv # doctest >= 0.13
 
     # Compilation failures
     - proto-lens-combinators # https://github.com/google/proto-lens/issues/119