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
Fredrik Wieczerkowski
curry-tools
Commits
e683575d
Commit
e683575d
authored
Oct 30, 2013
by
Michael Hanus
Browse files
CASS: load path handling improved
parent
69b8ca91
Changes
2
Hide whitespace changes
Inline
Side-by-side
CASS/AnalysisServer.curry
View file @
e683575d
...
@@ -134,6 +134,7 @@ analyzeFunctionForBrowser ananame qn@(mname,_) aoutformat = do
...
@@ -134,6 +134,7 @@ analyzeFunctionForBrowser ananame qn@(mname,_) aoutformat = do
analyzeModule :: String -> String -> AOutFormat
analyzeModule :: String -> String -> AOutFormat
-> IO (Either (ProgInfo String) String)
-> IO (Either (ProgInfo String) String)
analyzeModule ananame moduleName aoutformat = do
analyzeModule ananame moduleName aoutformat = do
getDefaultPath >>= setEnviron "CURRYPATH"
numworkers <- numberOfWorkers
numworkers <- numberOfWorkers
if numworkers>0
if numworkers>0
then do
then do
...
@@ -155,6 +156,7 @@ analyzeModule ananame moduleName aoutformat = do
...
@@ -155,6 +156,7 @@ analyzeModule ananame moduleName aoutformat = do
analyzeGeneric :: Analysis a -> String -> IO (Either (ProgInfo a) String)
analyzeGeneric :: Analysis a -> String -> IO (Either (ProgInfo a) String)
analyzeGeneric analysis moduleName = do
analyzeGeneric analysis moduleName = do
initializeAnalysisSystem
initializeAnalysisSystem
getDefaultPath >>= setEnviron "CURRYPATH"
numworkers <- numberOfWorkers
numworkers <- numberOfWorkers
if numworkers>0
if numworkers>0
then do
then do
...
...
CASS/Configuration.curry
View file @
e683575d
...
@@ -180,7 +180,7 @@ waitTime = -1
...
@@ -180,7 +180,7 @@ waitTime = -1
-- configuration file).
-- configuration file).
defaultWorkers=0
defaultWorkers=0
--- Gets the default load path from the property file (added a
dd
the end
--- Gets the default load path from the property file (added a
t
the end
--- of CURRYPATH).
--- of CURRYPATH).
getDefaultPath = do
getDefaultPath = do
currypath <- getEnviron "CURRYPATH"
currypath <- getEnviron "CURRYPATH"
...
...
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