toothbrush pushed a commit to branch wip-haskell-platform-7.10.2-a in repository guix.
commit 84d0e1eb5624db8ecb454cccaaf089868f3ca034 Author: Paul van der Walt <[email protected]> Date: Thu Oct 15 15:19:41 2015 +0200 gnu: Add ghc-smallcheck. * gnu/packages/haskell.scm (ghc-smallcheck): New variable. --- gnu/packages/haskell.scm | 27 +++++++++++++++++++++++++++ 1 files changed, 27 insertions(+), 0 deletions(-) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index ccfb087..b5f7126 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -1379,6 +1379,33 @@ use them without linking against Cabal or depending on it being installed. This is a better maintained fork of the \"temporary\" package.") (license bsd-3))) +(define-public ghc-smallcheck + (package + (name "ghc-smallcheck") + (version "1.1.1") + (source + (origin + (method url-fetch) + (uri (string-append + "http://hackage.haskell.org/package/smallcheck/smallcheck-"; + version + ".tar.gz")) + (sha256 + (base32 + "1ygrabxh40bym3grnzqyfqn96lirnxspb8cmwkkr213239y605sd")))) + (build-system haskell-build-system) + (propagated-inputs + `(("ghc-logict" ,ghc-logict))) + (inputs + `(("ghc-mtl" ,ghc-mtl))) + (home-page + "https://github.com/feuerbach/smallcheck";) + (synopsis "Property-based testing library") + (description "SmallCheck is a testing library that allows to verify +properties for all test cases up to some depth. The test cases are generated +automatically by SmallCheck.") + (license bsd-3))) + (define-public ghc-silently (package (name "ghc-silently")
