Package Release Info

ghc-QuickCheck-2.12.6.1-bp151.2.2

Update Info: Base Release
Available in Package Hub : 15 SP1

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

ghc-QuickCheck
ghc-QuickCheck-devel

Change Logs

Version: 2.12.6.1-bp151.1.11
* Wed Oct 10 2018 psimons@suse.com
- Update QuickCheck to version 2.12.6.1.
  QuickCheck 2.12.6 (released 2018-10-02)
  * Make arbitrarySizedBoundedIntegral handle huge sizes correctly.
  * Add changelog for QuickCheck 2.12.5 :)
  QuickCheck 2.12.5 (released 2018-09-30)
  * Export isSuccess from Test.QuickCheck.
  * Export CoArbitrary even when generics are disabled (bugfix).
  * Fix bug in shrinkDecimal.
  * Include Test.QuickCheck.Gen in exposed modules for Haddock.
  QuickCheck 2.12.3, 2.12.4 (released 2018-09-12)
  * Shrinking for Float and Decimal now works by reducing the number
  of digits in the number. The new function shrinkDecimal
  implements this shrinking behaviour.
  * Shrinking for Rational now tries to make the numerator and
  denominator of the number smaller. Previously it tried to reduce
  the magnitude of the number.
  QuickCheck 2.12.2 (released 2018-09-10)
  * Fix infinite shrinking loop for fractional types.
  * Add SortedList modifier.
  QuickCheck 2.12.1 (released 2018-09-06)
  * Fix bug in 'classify'.
  QuickCheck 2.12 (released 2018-09-03)
  * Silently breaking changes!
  - The Arbitrary instance for Word now generates only small
  values, the same as Int
  - cover no longer causes a property failure if coverage is
  insufficient. It just prints a warning. (But see next item!)
  * Overhaul of label/cover family of combinators:
  - New property combinator checkCoverage, which checks coverage
  requirements in a statistically sound way, and *does* fail if
  they are not met.
  - Order of arguments to cover swapped, to make it easier to
  switch between classify and cover
  - New combinators tabulate and coverTable, for reporting test
  case distribution more flexibly than label.
  - When label is called multiple times in a property, each call
  produces a separate table of frequencies.
  * New functions:
  - (=/=): like (/=), but prints a counterexample
  (thanks to tom-bop)
  - forAllShow/forAllShrinkShow: quantification using an
  explicit show function (thanks to Stevan Andjelkovic)
  - forAllBlind/forAllShrinkBlind: quantification without
  printing anything
  - verboseShrinking: see how a counterexample is shrunk
  - labelledExamples: given a property which uses label,
  generate an example test case for each label
  - idempotentIOProperty: a variant of ioProperty which shrinks
  better but only works for idempotent I/O actions
  * Other improvements:
  - MonadFix Gen instance (thanks to Jon Fowler)
  - Rational numbers shrink using continued fractions
  (thanks to Justus Sagemüller)
  - Function instances for Const, Identity, and the types in
  Data.Monoid; instance Functor Fun (thanks to Erik Schnetter
  and Xia Li-yao)
  - More of Test.QuickCheck.Function is exported from
  Test.QuickCheck
  - Semantics of .||. changed to improve short-circuiting:
  if the left argument's precondition is false, the right
  argument is not evaluated and the whole disjunction is
  considered to have a false precondition
  - Bug fix: suchThatMaybe always increased size to at least 1
  * Miscellaneous API changes:
  - Result type has changed a bit:
  - InsufficientCovered constructor is gone
  - Type of labels has changed
  - New fields classes, tables
* Wed Jul 18 2018 psimons@suse.com
- Cosmetic: replace tabs with blanks, strip trailing white space,
  and update copyright headers with spec-cleaner.
* Mon May 14 2018 psimons@suse.com
- Update QuickCheck to version 2.11.3.
  * New features:
  - InfiniteList modifier generates infinite lists and shows
    only the relevant part.
  - applyArbitrary2/3/4 for applying a function to random
    arguments.
  - Template Haskell function allProperties returns all
    properties in a module.
  * Applicative Gen instances do less splitting.
  * Property now has a Typeable instance.
  * (===) now prints correct output when the property is true.
  * Test.QuickCheck now exports Fun constructor.
  * verboseCheck output is now slightly less confusing.
  * Arbitrary instances for Foreign.C.Types are available in more
    GHC versions.
  * Fixed a bug where withMaxSuccess didn't adjust the allowed
    number of discarded tests.
  * Remove quadratic behaviour in terminal output.
  * New combinators:
  - withMaxSuccess sets the maximum number of test cases for a property.
  - shrinkMap/shrinkMapBy are helpers for defining shrink functions.
  - total checks that a value is non-crashing.
  - suchThatMap is similar to 'suchThat'
    but takes a Maybe-returning function instead of a predicate.
  - getSize returns the current test case size.
  * Random strings and characters now include Unicode characters by
    default. To generate only ASCII characters, use the new
    ASCIIString modifier or arbitraryASCIIChar generator.
    The following modifiers and generators also control the
    kind of strings generated: UnicodeString, PrintableString,
    arbitraryUnicodeChar, arbitraryPrintableChar.
  * QuickCheck no longer catches asynchronous exceptions, which
    means that pressing ctrl-C will now cancel testing without
    printing a counterexample. If you are debugging an infinite loop,
    please use the 'within' combinator or 'verboseCheck' instead.
    ('within' is better as it allows the counterexample to be
    shrunk.)
  * Much of Test.QuickCheck.Function (showable random functions)
    is now exported from Test.QuickCheck.
  - Test.QuickCheck.Function now defines functions and
    pattern synonyms which simplify testing functions of
    more than one argument: apply2, apply3, Fn2, Fn3.
  * New typeclasses Arbitrary1 and Arbitrary2 which lift Arbitrary
    to unary/binary type constructors, like in Data.Functor.Classes.
  * Some Arbitrary instances have been removed: NonEmpty, Natural.
    This is because they resulted in a lot of extra dependencies.
    You can now find them in the quickcheck-instances package.
    Alternatively, use the NonEmptyList and NonNegative modifiers.
  * New Arbitrary instances for the following types: Proxy, ExitCode,
    WrappedMonad, WrappedArrow, QCGen, and the types in
    Foreign.C.Types and Data.Functor.{Product,Compose}.
    Also a Function instance for Word.
  * The functions in Test.QuickCheck.Monadic which take an argument
    of type PropertyM m a now expect that 'a' to be Testable, and test it.
    To reduce breakage from this, () is now an instance of Testable which
    always succeeds.
  - PropertyM now has a MonadFail instance on recent GHCs.
    Furthermore, the constraints on some instances were loosened.
  * Miscellaneous API changes:
  - Result now returns the counterexample as a list of strings.
    See the "failingTestCase" field.
  - Args now has a `maxShrinks` argument, the maximum number of
    shrinks to try before giving up shrinking.
  - The 'labels' field of Result now encodes frequencies as Doubles
    rather than Ints.
  * Bugfixes:
  - 'Test.QuickCheck.Function', 'Test.QuickCheck.Poly', and
    'Test.QuickCheck.Monadic' are now Safe modules.
  - Result.theException and Result.reason were taken from
    the pre-shrunk counterexample, not the shrunk one.
  - The Testable Property instance improperly used 'again'.
  - Gen.>>= is strict in the result of split, fixing a space leak.
  - within now gives a better error message on timeout
  * Some more examples and links have been added to the documentation.