- Cosmetic: replace tabs with blanks, strip trailing white space,
  and update copyright headers with spec-cleaner.

        * New genericShrink function provides generic shrinking with GHC.
        * New combinator x === y: fails if x /= y, but also prints their values
        * New function generate :: Gen a -> IO a for running a generator.
        * New combinators infiniteList and infiniteListOf for generating infinite lists.
        * Several combinators added to the main Test.QuickCheck module which
          were previously languishing in other modules. Of particular interest:
          quickCheckAll, ioProperty.
        * New combinators delay and capture which can be used (unsafely!)
          to reuse the random number seed. Useful for generating
          polymorphic (rank-2) values.
        * A new Discard data type and a Testable instance for discarding test cases.
        * All modifiers now have Functor instances and accessor functions.
        * Pressing ctrl-C during shrinking now shows the last failed
          test case, rather than the current shrinking candidate.
        * Experimental support for UHC. You will need the latest version of Cabal from git.
        * The Int generator now only generates fairly small numbers.
        * The new Small and Large modifiers control the distribution of integers
          (Small generates small numbers, Large from the whole range).
        * Floating-point numbers shrink better.
        * QuickCheck now uses TFGen rather than StdGen on newer versions
          of GHC, because StdGen's random numbers aren't always random.
        * 'variant' now uses a prefix code. This should prevent some
          potential bananaskins with coarbitrary.
        * The Gen monad now uses an abstract type QCGen rather than StdGen.
        * The Result type now returns the thrown exception and number
          of failed shrink attempts.
        * Property is now a newtype rather than Gen Prop as it was before.

• Files Changed
• Browse Source