From 6a0708513d22e8b0908beeeedc10cd9c89cfacd0 Mon Sep 17 00:00:00 2001 From: Stephen Paul Weber Date: Fri, 27 Apr 2012 17:12:22 -0500 Subject: PreferredCompressionAlgorithms --- Arbitrary.patch | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'Arbitrary.patch') diff --git a/Arbitrary.patch b/Arbitrary.patch index aa51d2d..0c2175d 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch @@ -28,6 +28,15 @@ return (SymmetricAlgorithm x1) _ -> error "FATAL ERROR: Arbitrary instance, logic bug" +@@ -121,7 +120,7 @@ + 1 -> return ZIP + 2 -> return ZLIB + 3 -> return BZip2 +- 4 -> do x1 <- arbitrary ++ 4 -> do x1 <- suchThat arbitrary (`notElem` [0,1,2,3]) + return (CompressionAlgorithm x1) + _ -> error "FATAL ERROR: Arbitrary instance, logic bug" + @@ -134,7 +133,7 @@ instance Arbitrary MPI where -- cgit v1.2.3