4 Feb
2004
4 Feb
'04
11:58 a.m.
I just noticed that while the check function and the Config type are exported from Debug.QuickCheck, there is no "default" config exported. I attached a patch that exports a 'defaultConfig' variable that's equal to the normal 'quick' config. /Martin