quickcheck/TODO at 9e10dfe17ab00cdaad4063f44b41cdaa00246f56 · schell/quickcheck · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
------------------------------------------------------------------------------
MUST FIX BEFORE RELEASE:

* consider adding all QuickCheck1 flags (in particular: printing the number of test cases)

* remove unnecessary incompatibilities with QuickCheck1

* find consistent good names for functions (especially primed function names and callbacks)

* add complete Haddock information

* add more callback functions

* implement pre-test callbacks (add these as a top-level flag)

* batch script

* investigate what is wrong with reporting exceptions and see if it can be fixed

* make sure a cut-down version works for Hugs

* find a good principle to decide what to export and what not

* decide what to export in Test.QuickCheck

* consider introducing special wrapper modules for certain extensions (such as callbacks)

* what to do about Test.QuickCheck.Function? --> remove it from the distribution
  (because in conjunction it does not work well)

* Control-C should stop testing/shrinking instead of throwing an exception and
  making the tests fail

------------------------------------------------------------------------------
MAY FIX BEFORE RELEASE:

* fix monadic testing for ST (at least check if everything works again)

* Deriving arbitrary, coarbitrary, shrink

* Implement .&&. ("real" and), and possibly .||. (and .|. ?)

------------------------------------------------------------------------------
FIXED:

* implement callbacks

* Poly

------------------------------------------------------------------------------