GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

A pgf doesn't always have a file location

Browse Source
This commit is contained in:
Krasimir Angelov
2024-02-08 16:40:24 +01:00
parent 3b4f12e621
commit 83d5c883c3
2 changed files with 12 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/compiler/api/GF/Compile.hs
View File

@@ -111,11 +111,13 @@ type CompileEnv = (Grammar,ModEnv)
emptyCompileEnv :: Maybe PGF -> IOE CompileEnv
emptyCompileEnv mb_pgf = do
case mb_pgf of
Just pgf -> do let fpath = pgfFilePath pgf
abs_name = abstractName pgf
t <- getModificationTime fpath
Just pgf -> do let abs_name = abstractName pgf
env <- case pgfFilePath pgf of
Just fpath -> do t <- getModificationTime fpath
return (Map.singleton abs_name (fpath,t,[]))
Nothing -> return Map.empty
return ( prependModule emptyGrammar (moduleNameS abs_name, ModPGF pgf)
, Map.singleton abs_name (fpath,t,[])
, env
)
Nothing -> return (emptyGrammar,Map.empty)

8
src/runtime/haskell/PGF2.hsc
View File

@@ -279,8 +279,12 @@ cookie_write cookie buf size = do
fmap fromIntegral $ (callback :: Ptr Word8 -> Int -> IO Int) buf (fromIntegral size)
#endif
pgfFilePath :: PGF -> FilePath
pgfFilePath p = unsafePerformIO (pgf_file_path (a_db p) >>= peekCString)
pgfFilePath :: PGF -> Maybe FilePath
pgfFilePath p = unsafePerformIO $ do
c_fpath <- pgf_file_path (a_db p)
if c_fpath == nullPtr
then return Nothing
else fmap Just $ peekCString c_fpath
showPGF :: PGF -> String
showPGF p =