1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
module FlatCurry.Files where
import Directory (doesFileExist)
import FileGoodies (getFileInPath, lookupFileInPath)
import FilePath (takeFileName, (</>), (<.>))
import ReadShowTerm (readUnqualifiedTerm, showTerm)
import System.CurryPath ( inCurrySubdir, stripCurrySuffix
, lookupModuleSourceInLoadPath, getLoadPathForModule
)
import System.FrontendExec ( FrontendParams, FrontendTarget (..), defaultParams
, setQuiet, callFrontendWithParams
)
import FlatCurry.Types
readFlatCurry :: String -> IO Prog
readFlatCurry progname =
readFlatCurryWithParseOptions progname (setQuiet True defaultParams)
readFlatCurryWithParseOptions :: String -> FrontendParams -> IO Prog
readFlatCurryWithParseOptions progname options = do
mbsrc <- lookupModuleSourceInLoadPath progname
case mbsrc of
Nothing -> do
loadpath <- getLoadPathForModule progname
filename <- getFileInPath (flatCurryFileName (takeFileName progname)) [""]
loadpath
readFlatCurryFile filename
Just (dir,_) -> do
callFrontendWithParams FCY options progname
readFlatCurryFile (flatCurryFileName (dir </> takeFileName progname))
flatCurryFileName :: String -> String
flatCurryFileName prog = inCurrySubdir (stripCurrySuffix prog) <.> "fcy"
flatCurryIntName :: String -> String
flatCurryIntName prog = inCurrySubdir (stripCurrySuffix prog) <.> "fint"
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
return (readUnqualifiedTerm ["FlatCurry.Types","Prelude"] filecontents)
readFlatCurryInt :: String -> IO Prog
readFlatCurryInt progname = do
readFlatCurryIntWithParseOptions progname (setQuiet True defaultParams)
readFlatCurryIntWithParseOptions :: String -> FrontendParams -> IO Prog
readFlatCurryIntWithParseOptions progname options = do
mbsrc <- lookupModuleSourceInLoadPath progname
case mbsrc of
Nothing -> do
loadpath <- getLoadPathForModule progname
filename <- getFileInPath (flatCurryIntName (takeFileName progname)) [""]
loadpath
readFlatCurryFile filename
Just (dir,_) -> do
callFrontendWithParams FINT options progname
readFlatCurryFile (flatCurryIntName (dir </> takeFileName progname))
writeFCY :: String -> Prog -> IO ()
writeFCY file prog = writeFile file (showTerm prog)
lookupFlatCurryFileInLoadPath :: String -> IO (Maybe String)
lookupFlatCurryFileInLoadPath modname =
getLoadPathForModule modname >>=
lookupFileInPath (flatCurryFileName modname) [""]
getFlatCurryFileInLoadPath :: String -> IO String
getFlatCurryFileInLoadPath modname =
getLoadPathForModule modname >>=
getFileInPath (flatCurryFileName modname) [""]
|