Fixed a bug so that tocktest now defaults to running a medium level of quickcheck tests

2008-01-23 14:32:13 +00:00 · 2008-01-23 14:32:13 +00:00 · 4c176a1a0f
commit 4c176a1a0f
parent 6f4146a4f3
1 changed files with 1 additions and 0 deletions
--- a/TestMain.hs
+++ b/TestMain.hs
@ -95,6 +95,7 @@ main = do (opts, nonOpts, errs) <- getArgs >>* getOpt RequireOrder options
    findLevel :: [TestOption] -> Either String (Maybe QuickCheckLevel)
    findLevel (QC qc:_) = qc
    findLevel (_:os) = findLevel os
+    findLevel [] = Right $ Just QC_Medium
    
    findType :: [TestOption] -> Maybe Bool
    findType (OutputType t:_) = Just t