[Haskell-cafe] Re: Quickcheck examples and Data.Word32

Joel Reymont joelr1 at gmail.com
Thu Oct 27 11:38:04 EDT 2005

Is this gonna be in the next version of QuickCheck? Or can it be  
implemented now?

On Oct 27, 2005, at 3:47 PM, Shae Matijs Erisson wrote:

> You can do that with the model based checking from the QuickCheckST  
> paper.
> You could either generate actions and results and test separately,  
> or you can
> use unsafePerformIO to run IO tests from inside QuickCheckM.
> I would very much like to see QuickCheckM extended to handle IO  
> directly.
> I've wanted to use QuickCheck to test TCP/IP stacks for unhandled  
> cases.
> Think of the entertainment value :-)


More information about the Haskell-Cafe mailing list