Re: QuickCheck properties for IntSet

On 12/8/07, David Benbennick wrote:

I commented out some code that could never be executed: * Some case-statement cases that could never occur. * >>= for the Identity monad used internally.

Sorry, I forgot to run the "validate" script on the previous patch. Turns out validate requires >>= to be explicitly set, even though it isn't used. New patch bundle is attached. This version also removes an unused function, and adds a QuickCheck property for dataTypeOf.