From c839363df7bc06519ef577b02de11200ceb2ba9a Mon Sep 17 00:00:00 2001
From: Stephen Paul Weber <singpolyma@singpolyma.net>
Date: Fri, 27 Apr 2012 17:14:47 -0500
Subject: fix arbitrary for KeyAlgorithm as well

---
 Arbitrary.patch | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Arbitrary.patch')

diff --git a/Arbitrary.patch b/Arbitrary.patch
index 0c2175d..151ea0f 100644
--- a/Arbitrary.patch
+++ b/Arbitrary.patch
@@ -19,6 +19,15 @@
                             return (HashAlgorithm x1)
                     _ -> error "FATAL ERROR: Arbitrary instance, logic bug"
 
+@@ -90,7 +89,7 @@
+                    5 -> return ECC
+                    6 -> return ECDSA
+                    7 -> return DH
+-                   8 -> do x1 <- arbitrary
++                   8 -> do x1 <- suchThat arbitrary (`notElem` [01,02,03,16,17,18,19,21])
+                            return (KeyAlgorithm x1)
+                    _ -> error "FATAL ERROR: Arbitrary instance, logic bug"
+
 @@ -108,7 +107,7 @@
                     6 -> return AES192
                     7 -> return AES256
-- 
cgit v1.2.3