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

update to 2.12.6.1

Browse Source
epel9
Jens Petersen 6 years ago
parent 0e30dcc04c
commit 8f01cbb6e9
4 changed files with 218 additions and 3 deletions
Show Stats Download Patch File Download Diff File

1
.gitignore vendored
Unescape View File

@ -9,3 +9,4 @@ QuickCheck-2.1.1.1.tar.gz
/QuickCheck-2.9.2.tar.gz
/QuickCheck-2.10.1.tar.gz
/QuickCheck-2.11.3.tar.gz
/QuickCheck-2.12.6.1.tar.gz

201
QuickCheck-2.12.6.1.cabal
Unescape View File

@ -0,0 +1,201 @@
Name: QuickCheck
Version: 2.12.6.1
x-revision: 3
Cabal-Version: >= 1.8
Build-type: Simple
License: BSD3
License-file: LICENSE
Copyright: 2000-2018 Koen Claessen, 2006-2008 Björn Bringert, 2009-2018 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 <http://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
source-repository head
type: git
location: https://github.com/nick8325/quickcheck
source-repository this
type: git
location: https://github.com/nick8325/quickcheck
tag: 2.12.6.1
flag templateHaskell
Description: Build Test.QuickCheck.All, which uses Template Haskell.
Default: True
library
-- System.Random is explicitly Trustworthy
build-depends: random >=1.0.1.0 && <1.2
-- Monad(fail)
build-depends: base <4.13
Build-depends: base >=4.3 && <5, random, containers, erf >= 2
-- 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.3.0.0 && < 1.5
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 tf-random on newer GHCs.
if impl(ghc)
Build-depends: tf-random >= 0.4
else
cpp-options: -DNO_TF_RANDOM
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
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 !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 !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.3.0.0 && < 1.5, QuickCheck
if !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 !impl(ghc >= 7.10)
buildable: False

17
ghc-QuickCheck.spec
Unescape View File

@ -4,9 +4,11 @@
%global pkg_name QuickCheck
%global pkgver %{pkg_name}-%{version}
%bcond_without tests
Name: ghc-%{pkg_name}
Version: 2.11.3
Release: 2%{?dist}
Version: 2.12.6.1
Release: 1%{?dist}
Summary: Automatic testing of Haskell programs
License: BSD
@ -26,10 +28,14 @@ BuildRequires: ghc-prof
BuildRequires: ghc-rpm-macros
BuildRequires: ghc-containers-devel
BuildRequires: ghc-deepseq-devel
BuildRequires: ghc-erf-devel
BuildRequires: ghc-random-devel
BuildRequires: ghc-template-haskell-devel
BuildRequires: ghc-tf-random-devel
BuildRequires: ghc-transformers-devel
%if %{with tests}
BuildRequires: ghc-process-devel
%endif
# End cabal-rpm deps
%description
@ -93,6 +99,10 @@ This package provides the Haskell %{pkg_name} profiling library.
# End cabal-rpm install
%check
%cabal_test
%files -f %{name}.files
# Begin cabal-rpm files:
%license LICENSE
@ -114,6 +124,9 @@ This package provides the Haskell %{pkg_name} profiling library.
%changelog
* Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.12.6.1-1
- update to 2.12.6.1
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.11.3-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

2
sources
Unescape View File

@ -1 +1 @@
SHA512 (QuickCheck-2.11.3.tar.gz) = 17b3c5803cbca980375a1837b4ba931f346be8a720fcc0e37ad2c46abc8ba2073c49635bc89739d34653376c3f7fe1bd39560092c005b8dbce0a7effac25d73d
SHA512 (QuickCheck-2.12.6.1.tar.gz) = bbd11ea7f22af02ad1ab4d59aecc0dc57d3b9d63e42c1a73beff94f645778858fe22d8d8234669c96ce901508b85d3b42b2f7647b81510bcdd9eaada937016c1

Write Preview
Loading…
Cancel
Save