diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-06-16T00·05+0100 |
|---|---|---|
| committer | Vincent Ambo <mail@tazj.in> | 2020-06-16T00·05+0100 |
| commit | 2edb963b97867b27f68efac8d05bf966077b0b01 (patch) | |
| tree | c3bb279dfd4330e09a0af6ef4e84ff8a9a3bc7ad /users/glittershark/xanthous/build/generic-arbitrary-export-garbitrary.patch | |
| parent | 91f53f02d8479303910abfd3f3690d3ef27e6c4b (diff) | |
| parent | 53b56744f4335c038724a1bcffc27a7eb8cf6a6d (diff) | |
Add 'users/glittershark/xanthous/' from commit '53b56744f4335c038724a1bcffc27a7eb8cf6a6d' r/978
git-subtree-dir: users/glittershark/xanthous git-subtree-mainline: 91f53f02d8479303910abfd3f3690d3ef27e6c4b git-subtree-split: 53b56744f4335c038724a1bcffc27a7eb8cf6a6d
Diffstat (limited to 'users/glittershark/xanthous/build/generic-arbitrary-export-garbitrary.patch')
| -rw-r--r-- | users/glittershark/xanthous/build/generic-arbitrary-export-garbitrary.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/users/glittershark/xanthous/build/generic-arbitrary-export-garbitrary.patch b/users/glittershark/xanthous/build/generic-arbitrary-export-garbitrary.patch new file mode 100644 index 0000000000..f0c936bfca --- /dev/null +++ b/users/glittershark/xanthous/build/generic-arbitrary-export-garbitrary.patch @@ -0,0 +1,12 @@ +diff --git a/src/Test/QuickCheck/Arbitrary/Generic.hs b/src/Test/QuickCheck/Arbitrary/Generic.hs +index fed6ab3..91f59f1 100644 +--- a/src/Test/QuickCheck/Arbitrary/Generic.hs ++++ b/src/Test/QuickCheck/Arbitrary/Generic.hs +@@ -23,6 +23,7 @@ The generated 'arbitrary' method is equivalent to + + module Test.QuickCheck.Arbitrary.Generic + ( Arbitrary(..) ++ , GArbitrary + , genericArbitrary + , genericShrink + ) where |