diff options
-rw-r--r-- | Arbitrary.patch | 3 | ||||
-rw-r--r-- | Makefile | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/Arbitrary.patch b/Arbitrary.patch index 2d14399..fdbfba6 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch | |||
@@ -1,5 +1,8 @@ | |||
1 | --- Data/OpenPGP/Arbitrary.hs 2012-04-27 12:38:11.492411339 -0500 | 1 | --- Data/OpenPGP/Arbitrary.hs 2012-04-27 12:38:11.492411339 -0500 |
2 | +++ arb.s 2012-04-27 12:37:57.176469214 -0500 | 2 | +++ arb.s 2012-04-27 12:37:57.176469214 -0500 |
3 | @@ -1 +1,2 @@ | ||
4 | +{-# OPTIONS_GHC -fno-warn-orphans -fno-warn-unused-imports #-} | ||
5 | module Data.OpenPGP.Arbitrary where | ||
3 | @@ -14,13 +14,18 @@ | 6 | @@ -14,13 +14,18 @@ |
4 | 1 -> do x1 <- arbitrary | 7 | 1 -> do x1 <- arbitrary |
5 | x2 <- arbitrary | 8 | x2 <- arbitrary |
@@ -23,7 +23,7 @@ tests/suite: tests/suite.hs Data/OpenPGP.hs Data/OpenPGP/Internal.hs Data/OpenPG | |||
23 | ghc --make $(GHCFLAGS) -o $@ $^ | 23 | ghc --make $(GHCFLAGS) -o $@ $^ |
24 | 24 | ||
25 | Data/OpenPGP/Arbitrary.hs: Data/OpenPGP.hs Arbitrary.patch | 25 | Data/OpenPGP/Arbitrary.hs: Data/OpenPGP.hs Arbitrary.patch |
26 | derive -d Arbitrary -m Data.OpenPGP.Arbitrary -iData.OpenPGP -iData.OpenPGP.Internal -iTest.QuickCheck -iTest.QuickCheck.Instances -iNumeric -iData.Char -iData.Word -o $@ Data/OpenPGP.hs | 26 | derive -d Arbitrary -m Data.OpenPGP.Arbitrary -iData.OpenPGP -iData.OpenPGP.Internal -iTest.QuickCheck -iTest.QuickCheck.Instances -iData.Word -o $@ Data/OpenPGP.hs |
27 | patch $@ Arbitrary.patch | 27 | patch $@ Arbitrary.patch |
28 | 28 | ||
29 | report.html: tests/suite.hs Data/OpenPGP.hs Data/OpenPGP/Internal.hs | 29 | report.html: tests/suite.hs Data/OpenPGP.hs Data/OpenPGP/Internal.hs |