| Port details |
- hs-lazysmallcheck-ghc A library for demand-driven testing of Haskell programs
- 0.5 devel
 =0      0.5Version of this port present on the latest quarterly branch. - Maintainer: haskell@FreeBSD.org
- Port Added: 2009-03-14 15:19:59
- Last Update: 2010-05-24 21:52:43
- SVN Revision: UNKNOWN
- Also Listed In: haskell
- License: not specified in port
- WWW:
- http://www.cs.york.ac.uk/~mfn/lazysmallcheck/
- Description:
- Lazy SmallCheck is a library for exhaustive, demand-driven testing of
Haskell programs. It is based on the idea that if a property holds for
a partially-defined input then it must also hold for all fully-defined
refinements of the that input. Compared to `eager' input generation as
in SmallCheck, Lazy SmallCheck may require significantly fewer
test-cases to verify a property for all inputs up to a given depth.
WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- hs-lazysmallcheck-ghc>0:devel/hs-lazysmallcheck-ghc
- No installation instructions:
- This port has been deleted.
- PKGNAME: hs-lazysmallcheck-ghc
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ghc : lang/ghc
- haddock : devel/hs-haddock
- HsColour : print/hs-hscolour
- Runtime dependencies:
-
- ghc : lang/ghc
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 6
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.5
24 May 2010 21:52:43
  |
pgj |
Rename the following Haskell ports to bring them in sync with the
HackageDB:
archivers/hs-zip-archive-ghc -> archivers/hs-zip-archive
devel/hs-binary-ghc -> devel/hs-binary
devel/darcs -> devel/hs-darcs
devel/hs-language-c-ghc -> devel/hs-language-c
devel/hs-lazysmallcheck-ghc -> devel/hs-lazysmallcheck
devel/hs-pcre-light-ghc -> devel/hs-pcre-light
devel/hs-utf8-string-ghc -> devel/hs-utf8-string
graphics/hs-HGL-ghc -> graphics/hs-HGL
ports-mgmt/porte -> ports-mgmt/hs-porte
security/hs-digest-ghc -> security/hs-digest
textproc/hs-haxml -> textproc/hs-HaXml
textproc/hs-highlighting-kate-ghc -> textproc/hs-highlighting-kate (Only the first 15 lines of the commit message are shown above  ) |
0.5
12 May 2010 16:33:59
|
pgj |
Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
ports which makes possible the direct translation of Cabal package
descriptions to FreeBSD ports. It promises both easier addition and
maintenance for Cabal-based ports. |
0.5
30 Dec 2009 14:38:58
|
pgj |
- Update to 0.5
PR: ports/142099
Submitted by: Jacula Modyun <jacula(at)gmail.com> |
0.3_2
06 Dec 2009 20:56:55
|
pgj |
- Update HsColour to 1.15
- Bump PORTREVISION for all affected ports
PR: ports/138567, ports/138568
Submitted by: Ashish Shukla <wahjava (at) gmail.com>
Approved by: maintainer |
0.3_1
02 Sep 2009 15:38:45
|
pgj |
- Update GHC and Haskell ports to 6.10.4 (for both i386 and amd64), bump
port revision where appropriate
- Add devel/hs-ghc-paths
- Add devel/hs-QuickCheck
- Add devel/hs-readline
- Add devel/hs-haskeline
- Add devel/hs-mmap
- Remove lang/ghc-doc
- Mark devel/lhs2TeX broken as it does not compile with GHC 6.10.4
- Set NHC98 as default compiler for devel/hs-hat as it does not compile
with GHC 6.10.4
PR: ports/137055, ports/137058, ports/137059, ports/137060,
ports/137061,
ports/137062, ports/137063, ports/137063, ports/137064,
ports/137065,
ports/137066, ports/137067, ports/137068, ports/137069,
ports/137070,(Only the first 15 lines of the commit message are shown above ) |
0.3
14 Mar 2009 15:19:34
|
pgj |
Lazy SmallCheck is a library for exhaustive, demand-driven testing of
Haskell programs. It is based on the idea that if a property holds for
a partially-defined input then it must also hold for all fully-defined
refinements of the that input. Compared to `eager' input generation as
in SmallCheck, Lazy SmallCheck may require significantly fewer
test-cases to verify a property for all inputs up to a given depth.
WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/
Approved by: gabor |
Number of commits found: 6
|
As an Amazon Associate I earn from qualifying purchases.