From 26f1db51b6146ee09a119113506dc8f58559fbcf Mon Sep 17 00:00:00 2001
From: Stephen Paul Weber <singpolyma@singpolyma.net>
Date: Fri, 27 Apr 2012 15:23:20 -0500
Subject: SymmetricAlgorithm

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

(limited to 'Arbitrary.patch')

diff --git a/Arbitrary.patch b/Arbitrary.patch
index 9c753cb..6d855f1 100644
--- a/Arbitrary.patch
+++ b/Arbitrary.patch
@@ -10,6 +10,15 @@
                     1 -> do x1 <- arbitrary
                             x2 <- arbitrary
                             x3 <- arbitrary
+@@ -108,7 +107,7 @@
+                    6 -> return AES192
+                    7 -> return AES256
+                    8 -> return Twofish
+-                   9 -> do x1 <- arbitrary
++                   9 -> do x1 <- suchThat arbitrary (`notElem` [00,01,02,03,04,07,08,09,10])
+                            return (SymmetricAlgorithm x1)
+                    _ -> error "FATAL ERROR: Arbitrary instance, logic bug"
+
 @@ -116,7 +115,7 @@
 
  instance Arbitrary MPI where
-- 
cgit v1.2.3