So the good news is that quickcheck 2.1 behaves as I expected. I'm
still curious as to the behaviour of the older version.
In QC 1.2, the instance of Arbitrary for the Maybe type uses the
"sized" combinator to choose between Nothing and Just, whereas in QC
2.1, the instance uses the "freque
On May 5, 10:57 pm, Ozgur Akgun wrote:
> Let me try to understand you then. What happens when you run the following
> command in ghci?
>
> sample (arbitrary :: Gen (Maybe Int, Maybe Int) )
>
> Do you still always get (Just _, Just _) or (Nothing, Nothing) pairs, or do
> you also get some (Nothing
