|
definition:
|
readFlatCurryFile :: String -> IO Prog
readFlatCurryFile filename = do
exfcy <- doesFileExist filename
if exfcy
then readExistingFCY filename
else do let subdirfilename = inCurrySubdir filename
exdirfcy <- doesFileExist subdirfilename
if exdirfcy
then readExistingFCY subdirfilename
else error ("EXISTENCE ERROR: FlatCurry file '" ++ filename ++
"' does not exist")
where
readExistingFCY fname = do
filecontents <- readFile fname
#ifdef __KMCC__
return (read filecontents)
#else
return (readUnqualifiedTerm ["FlatCurry.Types","Prelude"] filecontents)
|
|
demand:
|
no demanded arguments
|
|
deterministic:
|
deterministic operation
|
|
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.
|
|
failfree:
|
<FAILING>
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_) |-> _}
|
|
name:
|
readFlatCurryFile
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
String -> Prelude.IO FlatCurry.Types.Prog
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|