From 1c7455cd488dcbf32dba688468dd70cce733892d Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Tue, 3 Sep 2019 12:16:15 -0400
Subject: [PATCH] Start of a test that needs the database, too, darn.

---
 test/SpecRedemption.hs | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/test/SpecRedemption.hs b/test/SpecRedemption.hs
index f134a84..3bf7492 100644
--- a/test/SpecRedemption.hs
+++ b/test/SpecRedemption.hs
@@ -83,10 +83,17 @@ make_spec_db :: VoucherDatabase d => IO d -> Spec
 make_spec_db getDatabase =
   before (getDatabase >>= return . app) $
   describe "redemptionServer" $
-  it "responds to redemption of an unpaid voucher with 400 (Invalid Request)" $
-  property $ \(voucher :: Voucher) (tokens :: [BlindedToken]) ->
   do
-    post path (encode $ Redeem voucher tokens) `shouldRespondWith` 400
+    it "responds to redemption of an unpaid voucher with 400 (Invalid Request)" $
+      property $ \(voucher :: Voucher) (tokens :: [BlindedToken]) ->
+      post path (encode $ Redeem voucher tokens) `shouldRespondWith` 400
+
+    it "responds to redemption of a paid voucher with 200 (OK)" $
+      property $ \(voucher :: Voucher) (tokens :: [BlindedToken]) ->
+      do
+        payForVoucher database voucher
+        post path (encode $ Redeem voucher tokens) `shouldRespondWith` 200
+
 
 spec_memory_db :: Spec
 spec_memory_db =
-- 
GitLab