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

noemit as default in testgf3

Browse Source
This commit is contained in:
aarne
2007-12-08 17:02:35 +00:00
parent 2a46601ebb
commit b693ba103c
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/GF/Devel/Compile/Compile.hs
View File

@@ -123,9 +123,11 @@ compileOne opts env@(_,srcgr) file = do
(k',sm) <- compileSourceModule opts env sm0 (k',sm) <- compileSourceModule opts env sm0
let sm1 = sm ---- let sm1 = sm ----
---- if isConcr sm then shareModule sm else sm -- cannot expand Str ---- if isConcr sm then shareModule sm else sm -- cannot expand Str
cm <- putpp " generating code... " $ generateModuleCode opts path sm1 if oElem (iOpt "doemit") opts
then putpp " generating code... " $ generateModuleCode opts path sm1
else return ()
---- -- sm is optimized before generation, but not in the env ---- -- sm is optimized before generation, but not in the env
let cm2 = unsubexpModule cm ---- let cm2 = unsubexpModule cm
extendCompileEnvInt env (k',sm) ---- sm1 extendCompileEnvInt env (k',sm) ---- sm1
where where
isConcr (_,mi) = case mi of isConcr (_,mi) = case mi of
@@ -170,7 +172,7 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do
return (k',moo) ---- return (k',moo) ----
generateModuleCode :: Options -> InitPath -> SourceModule -> IOE SourceModule generateModuleCode :: Options -> InitPath -> SourceModule -> IOE ()
generateModuleCode opts path minfo@(name,info) = do generateModuleCode opts path minfo@(name,info) = do
let pname = prefixPathName path (prt name) let pname = prefixPathName path (prt name)
@@ -181,7 +183,7 @@ generateModuleCode opts path minfo@(name,info) = do
let (file,out) = (gfoFile pname, prGF (gfModules [minfo2])) let (file,out) = (gfoFile pname, prGF (gfModules [minfo2]))
putp (" wrote file" +++ file) $ ioeIO $ writeFile file $ out putp (" wrote file" +++ file) $ ioeIO $ writeFile file $ out
return minfo2 return () ----- minfo2
where where
putp = putPointE opts putp = putPointE opts
putpp = putPointEsil opts putpp = putPointEsil opts