rpms
/
ghc-QuickCheck
20
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update to 2.14.2

Browse Source
epel9
Jens Petersen 4 years ago
parent 35a71503e3
commit 0fd8df1cf9
4 changed files with 8 additions and 226 deletions
Show Stats Download Patch File Download Diff File

1
.gitignore vendored
Unescape View File

@ -13,3 +13,4 @@ QuickCheck-2.1.1.1.tar.gz
/QuickCheck-2.13.2.tar.gz /QuickCheck-2.13.2.tar.gz
/splitmix-0.0.3.tar.gz /splitmix-0.0.3.tar.gz
/splitmix-0.0.5.tar.gz /splitmix-0.0.5.tar.gz
/QuickCheck-2.14.2.tar.gz

218
QuickCheck-2.13.2.cabal
Unescape View File

@ -1,218 +0,0 @@
Name: QuickCheck
Version: 2.13.2
x-revision: 1
Cabal-Version: >= 1.8
Build-type: Simple
License: BSD3
License-file: LICENSE
Copyright: 2000-2019 Koen Claessen, 2006-2008 Björn Bringert, 2009-2019 Nick Smallbone
Author: Koen Claessen <koen@chalmers.se>
Maintainer: Nick Smallbone <nick@smallbone.se>
Bug-reports: https://github.com/nick8325/quickcheck/issues
Tested-with: GHC >= 7.0
Homepage: https://github.com/nick8325/quickcheck
Category: Testing
Synopsis: Automatic testing of Haskell programs
Description:
QuickCheck is a library for random testing of program properties.
The programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests that the
properties hold in a large number of randomly generated cases.
Specifications are expressed in Haskell, using combinators provided by
QuickCheck. QuickCheck provides combinators to define properties, observe the
distribution of test data, and define test data generators.
.
Most of QuickCheck's functionality is exported by the main "Test.QuickCheck"
module. The main exception is the monadic property testing library in
"Test.QuickCheck.Monadic".
.
If you are new to QuickCheck, you can try looking at the following resources:
.
* The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>.
It's a bit out-of-date in some details and doesn't cover newer QuickCheck features,
but is still full of good advice.
* <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>,
a detailed tutorial written by a user of QuickCheck.
.
The <https://hackage.haskell.org/package/quickcheck-instances quickcheck-instances>
companion package provides instances for types in Haskell Platform packages
at the cost of additional dependencies.
extra-source-files:
README
changelog
examples/Heap.hs
examples/Heap_Program.hs
examples/Heap_ProgramAlgebraic.hs
examples/Lambda.hs
examples/Merge.hs
examples/Set.hs
examples/Simple.hs
make-hugs
source-repository head
type: git
location: https://github.com/nick8325/quickcheck
source-repository this
type: git
location: https://github.com/nick8325/quickcheck
tag: 2.13.2
flag templateHaskell
Description: Build Test.QuickCheck.All, which uses Template Haskell.
Default: True
library
Build-depends: base >=4.3 && <5, random >=1.0.0.3 && <1.2, containers
-- random is explicitly Trustworthy since 1.0.1.0
-- similar constraint for containers
-- Note: QuickCheck is Safe only with GHC >= 7.4 (see below)
if impl(ghc >= 7.2)
Build-depends: random >=1.0.1.0
if impl(ghc >= 7.4)
Build-depends: containers >=0.4.2.1
-- Modules that are always built.
Exposed-Modules:
Test.QuickCheck,
Test.QuickCheck.Arbitrary,
Test.QuickCheck.Gen,
Test.QuickCheck.Gen.Unsafe,
Test.QuickCheck.Monadic,
Test.QuickCheck.Modifiers,
Test.QuickCheck.Property,
Test.QuickCheck.Test,
Test.QuickCheck.Text,
Test.QuickCheck.Poly,
Test.QuickCheck.State,
Test.QuickCheck.Random,
Test.QuickCheck.Exception,
Test.QuickCheck.Features
-- GHC-specific modules.
if impl(ghc)
Exposed-Modules: Test.QuickCheck.Function
Build-depends: transformers >= 0.3, deepseq >= 1.1.0.0
else
cpp-options: -DNO_TRANSFORMERS -DNO_DEEPSEQ
if impl(ghc) && flag(templateHaskell)
Build-depends: template-haskell >= 2.4
Other-Extensions: TemplateHaskell
Exposed-Modules: Test.QuickCheck.All
else
cpp-options: -DNO_TEMPLATE_HASKELL
if !impl(ghc >= 7.4)
cpp-options: -DNO_CTYPES_CONSTRUCTORS -DNO_FOREIGN_C_USECONDS
-- The new generics appeared in GHC 7.2...
if impl(ghc < 7.2)
cpp-options: -DNO_GENERICS
-- ...but in 7.2-7.4 it lives in the ghc-prim package.
if impl(ghc >= 7.2) && impl(ghc < 7.6)
Build-depends: ghc-prim
-- Safe Haskell appeared in GHC 7.2, but GHC.Generics isn't safe until 7.4.
if impl (ghc < 7.4)
cpp-options: -DNO_SAFE_HASKELL
-- Use splitmix on newer GHCs.
if impl(ghc >= 7.0)
Build-depends: splitmix >= 0.0.2 && <0.1
else
cpp-options: -DNO_SPLITMIX
if !impl(ghc >= 7.6)
cpp-options: -DNO_POLYKINDS
if !impl(ghc >= 8.0)
cpp-options: -DNO_MONADFAIL
-- Switch off most optional features on non-GHC systems.
if !impl(ghc)
-- If your Haskell compiler can cope without some of these, please
-- send a message to the QuickCheck mailing list!
cpp-options: -DNO_TIMEOUT -DNO_NEWTYPE_DERIVING -DNO_GENERICS -DNO_TEMPLATE_HASKELL -DNO_SAFE_HASKELL -DNO_TYPEABLE -DNO_GADTS
if !impl(hugs) && !impl(uhc)
cpp-options: -DNO_ST_MONAD -DNO_MULTI_PARAM_TYPE_CLASSES
-- LANGUAGE pragmas don't have any effect in Hugs.
if impl(hugs)
Extensions: CPP
if impl(uhc)
-- Cabal under UHC needs pointing out all the dependencies of the
-- random package.
Build-depends: old-time, old-locale
-- Plus some bits of the standard library are missing.
cpp-options: -DNO_FIXED -DNO_EXCEPTIONS
Test-Suite test-quickcheck
type: exitcode-stdio-1.0
hs-source-dirs:
examples
main-is: Heap.hs
build-depends: base, QuickCheck
if !flag(templateHaskell)
Buildable: False
Test-Suite test-quickcheck-gcoarbitrary
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: GCoArbitraryExample.hs
build-depends: base, QuickCheck
if !flag(templateHaskell) || !impl(ghc >= 7.2)
buildable: False
if impl(ghc >= 7.2) && impl(ghc < 7.6)
build-depends: ghc-prim
Test-Suite test-quickcheck-generators
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: Generators.hs
build-depends: base, QuickCheck
if !flag(templateHaskell)
Buildable: False
Test-Suite test-quickcheck-gshrink
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: GShrinkExample.hs
build-depends: base, QuickCheck
if !flag(templateHaskell) || !impl(ghc >= 7.2)
buildable: False
if impl(ghc >= 7.2) && impl(ghc < 7.6)
build-depends: ghc-prim
Test-Suite test-quickcheck-terminal
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: Terminal.hs
build-depends: base, process, deepseq >= 1.1.0.0, QuickCheck
if !flag(templateHaskell) || !impl(ghc >= 7.10)
buildable: False
Test-Suite test-quickcheck-monadfix
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: MonadFix.hs
build-depends: base, QuickCheck
if !flag(templateHaskell) || !impl(ghc >= 7.10)
buildable: False
Test-Suite test-quickcheck-split
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: Split.hs
build-depends: base, QuickCheck
Test-Suite test-quickcheck-misc
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: Misc.hs
build-depends: base, QuickCheck
if !flag(templateHaskell) || !impl(ghc >= 7.10)
buildable: False

13
ghc-QuickCheck.spec
Unescape View File

@ -4,16 +4,16 @@
%global pkg_name QuickCheck %global pkg_name QuickCheck
%global pkgver %{pkg_name}-%{version} %global pkgver %{pkg_name}-%{version}
%global splitmix splitmix-0.0.5 %global splitmix splitmix-0.1.0.3
%global subpkgs %{splitmix} %global subpkgs %{splitmix}
# circular dep via base-compat-batteries # circular dep via base-compat-batteries
%bcond_with tests %bcond_with tests
Name: ghc-%{pkg_name} Name: ghc-%{pkg_name}
Version: 2.13.2 Version: 2.14.2
# can only be reset when all subpkgs bumped # can only be reset when all subpkgs bumped
Release: 5%{?dist} Release: 6%{?dist}
Summary: Automatic testing of Haskell programs Summary: Automatic testing of Haskell programs
License: BSD License: BSD
@ -21,7 +21,6 @@ Url: https://hackage.haskell.org/package/%{pkg_name}
# Begin cabal-rpm sources: # Begin cabal-rpm sources:
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
Source1: https://hackage.haskell.org/package/%{splitmix}/%{splitmix}.tar.gz Source1: https://hackage.haskell.org/package/%{splitmix}/%{splitmix}.tar.gz
Source2: https://hackage.haskell.org/package/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal
# End cabal-rpm sources # End cabal-rpm sources
# Begin cabal-rpm deps: # Begin cabal-rpm deps:
@ -37,8 +36,6 @@ BuildRequires: ghc-transformers-prof
%if %{with tests} %if %{with tests}
BuildRequires: ghc-process-devel BuildRequires: ghc-process-devel
%endif %endif
# for missing dep 'splitmix':
BuildRequires: ghc-time-prof
# End cabal-rpm deps # End cabal-rpm deps
%description %description
@ -97,7 +94,6 @@ This package provides the Haskell %{pkg_name} profiling library.
%prep %prep
# Begin cabal-rpm setup: # Begin cabal-rpm setup:
%setup -q -n %{pkgver} -a1 %setup -q -n %{pkgver} -a1
cp -bp %{SOURCE2} %{pkg_name}.cabal
# End cabal-rpm setup # End cabal-rpm setup
@ -142,6 +138,9 @@ cp -bp %{SOURCE2} %{pkg_name}.cabal
%changelog %changelog
* Thu Aug 5 2021 Jens Petersen <petersen@redhat.com> - 2.14.2-6
- update to 2.14.2
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-5 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2
sources
Unescape View File

@ -1,2 +1,2 @@
SHA512 (QuickCheck-2.13.2.tar.gz) = d2c92caec8bdf9089483b1f256f17f3d50e066f57eddb630f1831a232c4e33a0d4f55a0f927aa433cd3379283fa2615fd2937941e6847b234ea00b0fbeb46b98
SHA512 (splitmix-0.0.5.tar.gz) = b2e86ce9f856ed16ebaea2a9c8758a7c3db66c35ca577d215316e9e73f30c5654210143eb636812eb562a4556f7ade6f0ba07e21fdb624a2558910da288900ae SHA512 (splitmix-0.0.5.tar.gz) = b2e86ce9f856ed16ebaea2a9c8758a7c3db66c35ca577d215316e9e73f30c5654210143eb636812eb562a4556f7ade6f0ba07e21fdb624a2558910da288900ae
SHA512 (QuickCheck-2.14.2.tar.gz) = 84decd354e6093bc72afd125410499dd4be3ae8fdbf0a3b466011b4dbcb5c5657e51ab75cfe22790e22bf4ac54cbb1203ff7a0d108e872ce60f4831be827a6e5

Write Preview
Loading…
Cancel
Save