Fetching contributors…
Cannot retrieve contributors at this time
8 lines (6 sloc) 462 Bytes
=== High Priority ===
=== Medium Priority ===
=== Low Priority ===
* Report the number of tests run when a QuickCheck run times out
* Make the cursor un-hide when Ctrl-C is used to exit the program: may involve something like myThreadId >>= \main_thread -> installHandler sigINT (Catch (throwTo main_thread $ ExitException $ ExitFailure 1)) Nothing
* Make the QuickCheck2 provider correlate arguments with test failures (need to change QuickCheck2 upstream...)