Commit a6bb628f authored by Michael Hanus 's avatar Michael Hanus

ANSI.Codes handling removed

parent f88e5302
...@@ -13,7 +13,7 @@ runPropertyTests withcolor withtime props = do ...@@ -13,7 +13,7 @@ runPropertyTests withcolor withtime props = do
>>= return . Maybe.catMaybes >>= return . Maybe.catMaybes
if null failedmsgs if null failedmsgs
then return 0 then return 0
else do putStrLn $ (if withcolor then AnsiCodes.red else id) $ else do putStrLn $ ({- if withcolor then AnsiCodes.red else -} id) $
line ++ line ++
"\nFAILURES OCCURRED IN SOME TESTS:\n" ++ "\nFAILURES OCCURRED IN SOME TESTS:\n" ++
unlines failedmsgs ++ line unlines failedmsgs ++ line
......
...@@ -151,7 +151,7 @@ putStrIfDetails opts s = when (optVerb opts > 1) (putStr s >> hFlush stdout) ...@@ -151,7 +151,7 @@ putStrIfDetails opts s = when (optVerb opts > 1) (putStr s >> hFlush stdout)
putStrLnIfDebug :: Options -> String -> IO () putStrLnIfDebug :: Options -> String -> IO ()
putStrLnIfDebug opts s = when (optVerb opts > 3) (putStrLn s >> hFlush stdout) putStrLnIfDebug opts s = when (optVerb opts > 3) (putStrLn s >> hFlush stdout)
--- use some coloring (from library AnsiCodes) if color option is on: --- use some coloring (from System.Console.ANSI.Codes) if color option is on:
withColor :: Options -> (String -> String) -> String -> String withColor :: Options -> (String -> String) -> String -> String
withColor opts coloring = if optColor opts then coloring else id withColor opts coloring = if optColor opts then coloring else id
......
...@@ -1363,8 +1363,8 @@ genMainTestModule opts mainmod orgtestmods = do ...@@ -1363,8 +1363,8 @@ genMainTestModule opts mainmod orgtestmods = do
let mainFunction = genMainFunction opts mainmod testfuncs let mainFunction = genMainFunction opts mainmod testfuncs
imports = nub $ [ easyCheckModule, easyCheckExecModule imports = nub $ [ easyCheckModule, easyCheckExecModule
, searchTreeModule, generatorModule , searchTreeModule, generatorModule
, "List", "AnsiCodes", "Char", "Maybe", "System" , "List", "Char", "Maybe", "System", "Profile"
, "Profile" ] ++ ] ++ -- TODO: import also System.Console.ANSI.Codes
map (fst . fst) testtypes ++ map (fst . fst) testtypes ++
map testModuleName testmods map testModuleName testmods
appendix <- readFile (packagePath </> "include" </> "TestAppendix.curry") appendix <- readFile (packagePath </> "include" </> "TestAppendix.curry")
......
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