Dear Haskellers,
We would like to draw your attention to the following. At the DEFUN
event (in conjunction with ICFP in Victoria in September), there will
be a half day tutorial titled:
Using QuickCheck and HPC - Obtaining Quality Assurance for Haskell
Code
The tutorial will be given by And
Has anyone got any examples of these working together?
Thanks, Dominic.
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Hi,
Why not just call it, say, Test.QuickCheck2?
I think module names should reflect only their functionality. I don't
see how "External" or "Contrib" or "Chalmers" would say anything
useful about the functionality of the modules.
A while ago I sent a proposal for "package mounting", which I thi
Dear all,
For the past couple of years, I have been quietly hacking on a brand new
version of QuickCheck with lots of cool features. I have been
distributing copies to some friends, but have not released any official
package.
Now, after lots of peer pressure, the time has come that I want to
rel
Jan-Willem Maessen <[EMAIL PROTECTED]> writes:
>> PS: your discussion of the laws of MonadPlus reinforces to me the real need
>> for being able to declare the laws that a typeclass should satisfy, not just
>> the signature.
> On this I cannot but agree. But we don't usually count on being able to
Can someone remind me how to change the number of tests that QuickCheck
performs? I'm sure I knew how to do this but I can't find it in the
documentation and a web search revealed no examples.
Thanks, Dominic.
___
Haskell mailing list
[EMAIL PROTECTED]
Dear Haskell-QuickCheck user,
When John and I published the first paper about QuickCheck
in 2000, we released a Haskell module that was cleary marked
as DRAFT.
Since then, a lot of things have happened; we and other
people have made extensions and improvements to QuickCheck,
but only very few of
