Bug 142280 - [new port]: haskell port devel/hs-smallcheck
Summary: [new port]: haskell port devel/hs-smallcheck
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: freebsd-haskell (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-01-03 23:00 UTC by Jacula Modyun
Modified: 2010-01-04 05:48 UTC (History)
0 users

See Also:


Attachments
hs-smallcheck.shar (7.51 KB, text/plain)
2010-01-03 23:00 UTC, Jacula Modyun
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
Description Jacula Modyun 2010-01-03 23:00:12 UTC
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead
of testing for a sample of randomly generated values, SmallCheck tests
properties for all the finitely many values up to some depth, progressively
increasing the depth used.

http://hackage.haskell.org/package/smallcheck
Comment 1 Edwin Groothuis freebsd_committer 2010-01-03 23:00:26 UTC
Responsible Changed
From-To: freebsd-ports-bugs->haskell

haskell@ wants this port PRs (via the GNATS Auto Assign Tool)
Comment 2 dfilter service freebsd_committer 2010-01-04 05:35:14 UTC
pgj         2010-01-04 05:35:06 UTC

  FreeBSD ports repository

  Modified files:
    devel                Makefile 
  Added files:
    devel/hs-smallcheck  Makefile distinfo pkg-descr pkg-plist 
    devel/hs-smallcheck/files patch-smallcheck.cabal 
  Log:
  SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
  instead of testing for a sample of randomly generated values, SmallCheck
  tests properties for all the finitely many values up to some depth,
  progressively increasing the depth used.
  
  WWW: http://hackage.haskell.org/package/smallcheck
  
  PR:             ports/142280
  Submitted by:   Jacula Modyun <jacula(at)gmail.com>
  
  Revision  Changes    Path
  1.3739    +1 -0      ports/devel/Makefile
  1.1       +89 -0     ports/devel/hs-smallcheck/Makefile (new)
  1.1       +3 -0      ports/devel/hs-smallcheck/distinfo (new)
  1.1       +29 -0     ports/devel/hs-smallcheck/files/patch-smallcheck.cabal (new)
  1.1       +6 -0      ports/devel/hs-smallcheck/pkg-descr (new)
  1.1       +14 -0     ports/devel/hs-smallcheck/pkg-plist (new)
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Gabor Pali freebsd_committer 2010-01-04 05:47:54 UTC
State Changed
From-To: open->closed

The port has been added.  Thank you!