git.iko.soy/Idris-dev
on master help sign in
Enable tasty test listing.
5cd964dSteven Shaw
test/TestRun.hs+2−1
compare with master
unifiedsplit
@@ -54,7 +54,8 @@ instance IsOption NodeOpt where
54 optionCLParser = fmap NodeOpt $ switch (long nodeArg <> help nodeHelp)
54 optionCLParser = fmap NodeOpt $ switch (long nodeArg <> help nodeHelp)
55
55
56ingredients :: [Ingredient]
56ingredients :: [Ingredient]
57+ingredients = defaultIngredients ++
57−ingredients = [rerunningTests [consoleTestReporter],
58+ [rerunningTests [consoleTestReporter],
58 includingOptions [Option (Proxy :: Proxy NodeOpt)] ]
59 includingOptions [Option (Proxy :: Proxy NodeOpt)] ]
59
60
60----------------------------------------------------------------------- [ Core ]
61----------------------------------------------------------------------- [ Core ]