"Kochbuch" für die Konvertierung von QuickCheck1 zu QuickCheck2?

Question

Gibt es ein Kochbuch für die Konvertierung von QuickCheck1 zu QuickCheck2?

Als einige Beispiele wurden defaultConfig (replaced by Args) und trivial entfernt und CoArbitrary eingeführt.

Ich habe die what's new in QuickCheck 2 (with single answer ...) gelesen.

Answer 1

Es scheint, dass der/die Autor (en) von QuickCheck2 keine Release Notes bereitgestellt haben, die normalerweise verwendet werden, um Fragen wie Ihre zu beantworten. Angenommen, (uh, wir wissen, was das bedeutet!), Dass der/die Autor (en) das API-Dokument aktualisiert haben, können Sie es mit der Version vergleichen, die Sie haben, und die Unterschiede geben Ihnen Ihr Kochbuch. Als letzten Ausweg könnten Sie den Quellcode vergleichen, aber das würde wahrscheinlich mehr Unterschiede zeigen, als Sie interessieren.

Answer 2

Ich kenne kein solches Dokument - was schade ist!

Es war jedoch zumindest ein Teiländerungsliste auf eine Mailingliste gepostet: http://osdir.com/ml/lang.haskell.general/2006-11/msg00060.html

Die dort enthält gegebene Liste:

• Verkleinert Versagen Testfälle.
• Unterstützt das Testen von monadischen Codes.
• Behandelt Ausnahmen ordnungsgemäß.
• coarbitrary wurde in eine separate Klasse verschoben, um das Schreiben einfacher Instanzen von Arbitrary zu vereinfachen.
• Modifikatoren auf Typenebene zum Ändern der Testdatengenerierung (z. B. NonNegative).
• Magic Funktion Tabelle Drucken.
• Benutzerdefinierte Aktionen, wenn Eigenschaften fehlschlagen.