Browse files

Update TODO

  • Loading branch information...
1 parent 77bf898 commit 927dc216684668b3ff1d1d5613ccc0def4c09762 @batterseapower committed Feb 26, 2009
Showing with 3 additions and 3 deletions.
  1. +3 −3 TODO
View
6 TODO
@@ -1,8 +1,8 @@
=== High Priority ===
=== Medium Priority ===
-* QuickCheck2 provider
=== Low Priority ===
-* Report the number of tests run when a QuickCheck 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
+* 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...)

0 comments on commit 927dc21

Please sign in to comment.