| definition: |
readCommentsWithParseOptions :: String -> FrontendParams -> IO [(Span, Comment)]
readCommentsWithParseOptions progname options = do
mbsrc <- lookupModuleSourceInLoadPath progname
case mbsrc of
Nothing -> do -- no source file, try to find Comments file in load path:
loadpath <- getLoadPathForModule progname
filename <- getFileWithSuffix (commentsFileName (takeFileName progname)) [""]
loadpath
readCommentsFile filename
Just (dir,_) -> do
callFrontendWithParams COMMS options progname
readCommentsFile (commentsFileName (dir </> takeFileName progname))
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- | Reads the comments with further options from a specified module |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
readCommentsWithParseOptions |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> System.FrontendExec.FrontendParams -> Prelude.IO [(Curry.Span.Span, Comment)] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |