Opened 15 years ago

Closed 11 years ago

#17531 closed submission (fixed)

hs-QuickCheck 2.1.0.1 Port Submission

Reported by: scm@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: hs-QuickCheck submission Cc: gwright@…, nox@…
Port: hs-QuickCheck

Description

New submission of a port hs-QuickCheck. Description below:

description

QuickCheck: Automatic testing of Haskell programs

long_description

QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases

Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.

Attachments (2)

Portfile (2.1 KB) - added by scm@… 15 years ago.
Portfile.blb (1.1 KB) - added by blb@… 15 years ago.
New Portfile using haskell port group

Download all attachments as: .zip

Change History (7)

Changed 15 years ago by scm@…

Attachment: Portfile added

comment:1 Changed 15 years ago by jmroot (Joshua Root)

Type: enhancementsubmission

comment:2 Changed 15 years ago by (none)

Milestone: Port Submissions

Milestone Port Submissions deleted

comment:3 Changed 15 years ago by blb@…

Attaching an updated version using the new haskell port group which drastically simplifies these ports.

Changed 15 years ago by blb@…

Attachment: Portfile.blb added

New Portfile using haskell port group

comment:4 Changed 14 years ago by raimue (Rainer Müller)

Cc: gwright@… nox@… added

Gregory and Anthony, you both do the main work on hs-*. Could you please take a look at this, too?

comment:5 Changed 11 years ago by neverpanic (Clemens Lang)

Resolution: fixed
Status: newclosed

hs-quickcheck is in MacPorts since I package haskell platform.

Note: See TracTickets for help on using tickets.