Verified Commit 2d807b95 authored by Camil Staps's avatar Camil Staps 🚀

Fix local printing options in Gast.CommandLine

parent b0ab44b6
......@@ -57,14 +57,12 @@ exposeProperties printopts globopts ps w
, p
) \\ r <- rs, p <- ps | r.TestRun.name == testname p]
# ps = filter (\p -> not (isMember (testname p) opts.test_options.skip)) ps
# io = foldl (<<<) io $ concatMap (test opts.global_print_options opts.global_options) ps
# events = [Test (globopts ++ opts.global_options ++ getOptions p) p \\ p <- ps]
# outputs = [printEvents (toPrintConfig (printopts ++ opts.global_print_options ++ getPrintOptions p)) es \\ es <- events & p <- ps]
# io = foldl (<<<) io $ flatten outputs
# (_,w) = fclose io w
= w
where
test :: ![PrintOption] ![Testoption] !a -> [String] | Testable, getOptions a
test userprintopts useropts p = printEvents (toPrintConfig (printopts ++ userprintopts))
$ Test (globopts ++ useropts ++ getOptions p) p
error :: !String !*World -> *World
error s w
# io = stderr
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment