[Haskell-cafe] Re: Generating repeatable arbitrary values with QuickCheck 2

Martijn van Steenbergen martijn at van.steenbergen.nl
Fri Feb 5 08:19:38 EST 2010

Ryan Ingram wrote:
> Unfortunately, this makes things like
>>  infinite_xs <- sequence (repeat arbitrary)
> no longer work, since the state never comes out the other side.

You're asking to execute an infinite number of monadic actions. How can 
this ever terminate at all?


More information about the Haskell-Cafe mailing list