Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry-packages
currycheck
Commits
5bea7b80
Commit
5bea7b80
authored
Jan 04, 2019
by
Michael Hanus
Browse files
Imports updated
parent
16522a52
Changes
4
Hide whitespace changes
Inline
Side-by-side
include/TestAppendix.curry
View file @
5bea7b80
...
...
@@ -24,9 +24,11 @@ runPropertyTests withcolor withtime props = do
--- Prints the run time needed to execute a given IO action.
showRunTimeFor :: IO a -> IO a
showRunTimeFor action = do
t0 <- Profile.getProcessInfos >>= return . maybe 0 id . lookup Profile.RunTime
t0 <- Debug.Profile.getProcessInfos
>>= return . maybe 0 id . lookup Debug.Profile.RunTime
result <- action
t1 <- Profile.getProcessInfos >>= return . maybe 0 id . lookup Profile.RunTime
t1 <- Debug.Profile.getProcessInfos
>>= return . maybe 0 id . lookup Debug.Profile.RunTime
putStrLn $ "Run time: " ++ show (t1-t0) ++ " msec."
return result
...
...
package.json
View file @
5bea7b80
...
...
@@ -15,6 +15,7 @@
"flatcurry"
:
">= 2.0.0"
,
"frontend-exec"
:
">= 0.0.1"
,
"peano"
:
">= 1.0.0"
,
"profiling"
:
">= 1.0.0"
,
"rewriting"
:
">= 2.0.0"
,
"setfunctions"
:
">= 0.0.1"
,
"wl-pprint"
:
">= 0.0.1"
...
...
src/CC/Helpers.curry
View file @
5bea7b80
...
...
@@ -32,4 +32,5 @@ ccExecLoadPath =
where
isRequiredPackage dir =
any (`isInfixOf` dir)
["ansi-terminal", "easycheck", "random", "searchtree", "setfunctions"]
[ "ansi-terminal", "easycheck", "profiling", "random"
, "searchtree", "setfunctions" ]
src/CurryCheck.curry
View file @
5bea7b80
...
...
@@ -1364,7 +1364,7 @@ genMainTestModule opts mainmod orgtestmods = do
let mainFunction = genMainFunction opts mainmod testfuncs
imports = nub $ [ easyCheckModule, easyCheckExecModule
, searchTreeModule, generatorModule
, "List", "Char", "Maybe", "System", "Profile"
, "List", "Char", "Maybe", "System", "
Debug.
Profile"
, "System.Console.ANSI.Codes" ] ++
map (fst . fst) testtypes ++
map testModuleName testmods
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment