Bug 142488 - [new port]: haskell port devel/hs-checkers
Summary: [new port]: haskell port devel/hs-checkers
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-08 21:50 UTC by Jacula Modyun
Modified: 2010-01-12 23:42 UTC (History)
0 users

See Also:

Attachments
hs-checkers.shar (5.62 KB, text/plain)
2010-01-08 21:50 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-08 21:50:01 UTC 
"Checkers" wraps up the expected properties associated with various
standard type classes as QuickCheck properties. Also some morphism
properties. It also provides arbitrary instances and generator
combinators for common data types.

http://haskell.org/haskellwiki/checkers
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2010-01-08 21:50:15 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-12 21:39:50 UTC 
pgj         2010-01-12 21:39:43 UTC

  FreeBSD ports repository

  Modified files:
    devel                Makefile 
  Added files:
    devel/hs-checkers    Makefile distinfo pkg-descr pkg-plist 
  Log:
  Checkers wraps up the expected properties associated with various
  standard Haskell type classes as QuickCheck properties. Also some
  morphism properties. It also provides arbitrary instances and
  generator combinators for common data types.
  
  WWW: http://haskell.org/haskellwiki/checkers
  
  PR:             ports/142488
  Submitted by:   Jacula Modyun <jacula(at)gmail.com>
  
  Revision  Changes    Path
  1.3763    +1 -0      ports/devel/Makefile
  1.1       +77 -0     ports/devel/hs-checkers/Makefile (new)
  1.1       +3 -0      ports/devel/hs-checkers/distinfo (new)
  1.1       +6 -0      ports/devel/hs-checkers/pkg-descr (new)
  1.1       +33 -0     ports/devel/hs-checkers/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-12 23:42:19 UTC 
State Changed
From-To: open->closed

Your port has been committed.  Thanks!