diff --git a/include/TestAppendix.curry b/include/TestAppendix.curry index 7e2ab288e00276fa5c6a0a78ca7e5a5d3de40baa..2b7d9841922207621742e11e4b52421503615173 100644 --- a/include/TestAppendix.curry +++ b/include/TestAppendix.curry @@ -13,7 +13,7 @@ runPropertyTests withcolor withtime props = do >>= return . Maybe.catMaybes if null failedmsgs then return 0 - else do putStrLn $ (if withcolor then AnsiCodes.red else id) $ + else do putStrLn $ ({- if withcolor then AnsiCodes.red else -} id) $ line ++ "\nFAILURES OCCURRED IN SOME TESTS:\n" ++ unlines failedmsgs ++ line diff --git a/src/CC/Options.curry b/src/CC/Options.curry index ff2ad2a6547df9a79b7abb3672c3323cf0ede266..6e318ec88e52ce3303f9896c7db99dc8bd7019f4 100644 --- a/src/CC/Options.curry +++ b/src/CC/Options.curry @@ -151,7 +151,7 @@ putStrIfDetails opts s = when (optVerb opts > 1) (putStr s >> hFlush stdout) putStrLnIfDebug :: Options -> String -> IO () 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 opts coloring = if optColor opts then coloring else id diff --git a/src/CurryCheck.curry b/src/CurryCheck.curry index 415a528876a37c77c3d23a7438e3274b114bbbc6..b847ccaca338a92e9095a39b6271fe8aa7839d30 100644 --- a/src/CurryCheck.curry +++ b/src/CurryCheck.curry @@ -1363,8 +1363,8 @@ genMainTestModule opts mainmod orgtestmods = do let mainFunction = genMainFunction opts mainmod testfuncs imports = nub $ [ easyCheckModule, easyCheckExecModule , searchTreeModule, generatorModule - , "List", "AnsiCodes", "Char", "Maybe", "System" - , "Profile" ] ++ + , "List", "Char", "Maybe", "System", "Profile" + ] ++ -- TODO: import also System.Console.ANSI.Codes map (fst . fst) testtypes ++ map testModuleName testmods appendix <- readFile (packagePath "include" "TestAppendix.curry")