diff options
| author | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 17:12:22 -0500 |
|---|---|---|
| committer | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 17:12:22 -0500 |
| commit | 6a0708513d22e8b0908beeeedc10cd9c89cfacd0 (patch) | |
| tree | edb0355da15b9f08c3dbabce53ab8e38db36220d /Arbitrary.patch | |
| parent | 36f0fb4baf0b144a5bfcb52c0256f3b94d550b99 (diff) | |
PreferredCompressionAlgorithms
Diffstat (limited to 'Arbitrary.patch')
| -rw-r--r-- | Arbitrary.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Arbitrary.patch b/Arbitrary.patch index aa51d2d..0c2175d 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch | |||
| @@ -28,6 +28,15 @@ | |||
| 28 | return (SymmetricAlgorithm x1) | 28 | return (SymmetricAlgorithm x1) |
| 29 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | 29 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" |
| 30 | 30 | ||
| 31 | @@ -121,7 +120,7 @@ | ||
| 32 | 1 -> return ZIP | ||
| 33 | 2 -> return ZLIB | ||
| 34 | 3 -> return BZip2 | ||
| 35 | - 4 -> do x1 <- arbitrary | ||
| 36 | + 4 -> do x1 <- suchThat arbitrary (`notElem` [0,1,2,3]) | ||
| 37 | return (CompressionAlgorithm x1) | ||
| 38 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | ||
| 39 | |||
| 31 | @@ -134,7 +133,7 @@ | 40 | @@ -134,7 +133,7 @@ |
| 32 | 41 | ||
| 33 | instance Arbitrary MPI where | 42 | instance Arbitrary MPI where |