Non-exhaustive patterns in case

Nick Smallbone nicsma at chalmers.se
Fri Apr 27 12:16:15 BST 2012


Thanks Claude! I have fixed this now.

Nick

On 27 April 2012 05:43, Claude Heiland-Allen <claude at goto10.org> wrote:
> Greetings,
>
> I compiled my TestSuite module containing some prop_erties and
>
>> main = print =<< $quickCheckAll
>
> I run it and hit Ctrl-C to abort a slow test, but the program aborts at the
> end with an exception:
>
> TestSuite: Test/QuickCheck/All.hs:(118,14)-(121,36): Non-exhaustive patterns
> in case
>
> From a cursory glance it looks like the missing pattern is GaveUp{}
>
> I seem to be using the latest released QuickCheck
>
> $ cabal list quickcheck
> * QuickCheck
>    Synopsis: Automatic testing of Haskell programs
>    Default available version: 2.4.2
>    Installed versions: 2.4.2
>    Homepage: http://code.haskell.org/QuickCheck
>    License:  BSD3
>
> but this code doesn't seem to have changed in the devel repository:
>
> http://code.haskell.org/QuickCheck/devel/Test/QuickCheck/
>
> Thanks,
>
>
> Claude
>
> _______________________________________________
> QuickCheck mailing list
> QuickCheck at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck



More information about the QuickCheck mailing list