mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
Copy command-line flags to in-memory module when reading from a .gfo file. This maeans that command-line flags get put in the .pgf file.
This commit is contained in:
@@ -158,9 +158,8 @@ compileOne opts env@(_,srcgr,_) file = do
|
||||
then compileOne opts env $ gfo
|
||||
else do
|
||||
|
||||
sm000 <- putpOpt ("- parsing" +++ file) ("- compiling" +++ file ++ "... ") $
|
||||
sm00 <- putpOpt ("- parsing" +++ file) ("- compiling" +++ file ++ "... ") $
|
||||
getSourceModule opts file
|
||||
let sm00 = mapSourceModule (\m -> m { flags = flags m `addOptions` opts }) sm000
|
||||
let sm0 = decodeStringsInModule sm00
|
||||
(k',sm) <- compileSourceModule opts env sm0
|
||||
let sm1 = if isConcr sm then shareModule sm else sm -- cannot expand Str
|
||||
|
||||
Reference in New Issue
Block a user