| definition: |
extractFormsInProg :: Options -> String -> IO (Maybe String, [QName])
extractFormsInProg opts mname =
lookupModuleSourceInLoadPath mname >>=
maybe (error $ "Module '" ++ mname ++ "' not found in load path!")
extractWithFormCache
where
extractWithFormCache (mdir,mfile) = do
let formfile = formCacheFile mdir mname
ffexists <- doesFileExist formfile
if not ffexists
then readFormsInProg opts mname formfile
else do
ctime <- getModificationTime mfile
ftime <- getModificationTime formfile
if ctime > ftime
then readFormsInProg opts mname formfile
else do
putStrLnInter opts $ "Reading file '" ++ formfile ++ "'"
ffcont <- openFile formfile ReadMode >>= hGetContents
case reads ffcont of
[(t,"")] -> return t
_ -> do
putStrLnInfo opts $
"WARNING: removing broken form info file '" ++ formfile ++ "'"
removeFile formfile
extractWithFormCache (mdir,mfile)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Extract and check all forms defined in a Curry module. --- Returns the qualified names of the exported forms as the second component. --- The first component is `Nothing` when the module was not transformed --- to attach form ids, otherwise it is `Just` the module name. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
extractFormsInProg |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
C2C.Options.Options -> String -> Prelude.IO (Prelude.Maybe String, [(String, String)]) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |