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
View All Add an attachment (proposed patch, testcase, etc.)

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 freebsd_triage 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 freebsd_triage 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 freebsd_triage 2010-01-04 05:47:54 UTC 
State Changed
From-To: open->closed

The port has been added.  Thank you!