1 files changed, 9 insertions, 0 deletions
diff --git a/Arbitrary.patch b/Arbitrary.patch
index b86896d..aa51d2d 100644
--- a/Arbitrary.patch
+++ b/Arbitrary.patch
@@ -10,6 +10,15 @@
                    1 -> do x1 <- arbitrary
                            x2 <- arbitrary
                            x3 <- arbitrary
+@@ -73,7 +72,7 @@
+                    4 -> return SHA384
+                    5 -> return SHA512
+                    6 -> return SHA224
+-                   7 -> do x1 <- arbitrary
+                   7 -> do x1 <- suchThat arbitrary (`notElem` [01,02,03,08,09,10,11])
+                            return (HashAlgorithm x1)
+                    _ -> error "FATAL ERROR: Arbitrary instance, logic bug"
 @@ -108,7 +107,7 @@
                    6 -> return AES192
                    7 -> return AES256

diff --git a/Arbitrary.patch b/Arbitrary.patch index b86896d..aa51d2d 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch
@@ -10,6 +10,15 @@
10	1 -> do x1 <- arbitrary	10	1 -> do x1 <- arbitrary
11	x2 <- arbitrary	11	x2 <- arbitrary
12	x3 <- arbitrary	12	x3 <- arbitrary
		13	@@ -73,7 +72,7 @@
		14	4 -> return SHA384
		15	5 -> return SHA512
		16	6 -> return SHA224
		17	- 7 -> do x1 <- arbitrary
		18	+ 7 -> do x1 <- suchThat arbitrary (`notElem` [01,02,03,08,09,10,11])
		19	return (HashAlgorithm x1)
		20	_ -> error "FATAL ERROR: Arbitrary instance, logic bug"
		21
13	@@ -108,7 +107,7 @@	22	@@ -108,7 +107,7 @@
14	6 -> return AES192	23	6 -> return AES192
15	7 -> return AES256	24	7 -> return AES256