|
definition:
|
readFlatCurryFile :: String -> IO Prog
readFlatCurryFile filename = do
let rwfile = filename <.> "rw"
fnex <- doesFileExist filename
rwex <- doesFileExist rwfile
if fnex && rwex
then do
ftime <- getModificationTime filename
rwftime <- getModificationTime rwfile
if compareClockTime rwftime ftime == LT
then readFlatCurryTermFile
else do
(mbprog,rwtime) <- getElapsedTimeNF (readDataFile rwfile)
maybe (error $ "Illegal data in file " ++ rwfile)
(\prog ->
if not showTimings
then return prog
else do
putStrLn $ "\nReading " ++ filename
(terms,ttime) <- getElapsedTimeNF (readFlatCurryFile' filename)
putStrLn $ "Time: " ++ show ttime ++
" msecs / Compact reading: " ++
show rwtime ++ " msecs / speedup: " ++
show (fromInt ttime / fromInt rwtime)
if prog == terms -- safety check
then return prog
else error "Difference in compact terms!" )
mbprog
else readFlatCurryTermFile
where
readFlatCurryTermFile = do
prog <- readFlatCurryFile' filename
-- Ignore errors if the file is not writable:
catch (writeFlatCurryDataFile filename prog) (\_ -> return ())
return prog
|
|
documentation:
|
--- I/O action which reads a FlatCurry program from a file in `.fcy` format.
--- In contrast to `readFlatCurry`, this action does not parse
--- a source program. Thus, the argument must be the name of an existing
--- file (with suffix `.fcy`) containing a FlatCurry program in `.fcy`
--- format and the result is a FlatCurry term representing this program.
--- For faster reading, it tries to read a compact representation
--- if it exists and is not older than the FlatCurry file.
--- If the compact representation does not exist, it is written (if possible)
--- to support faster readings in the future.
|