Copy command-line options to module flags when compiling to .gfo.

This commit is contained in:
bjorn
2008-10-15 14:24:23 +00:00
parent 849642e9dd
commit 7676ab8e00
3 changed files with 13 additions and 6 deletions

View File

@@ -21,6 +21,7 @@ module GF.Grammar.Grammar (SourceGrammar,
SourceAbs,
SourceRes,
SourceCnc,
mapSourceModule,
Info(..),
PValues,
Perh,
@@ -75,6 +76,9 @@ type SourceAbs = Module Ident Info
type SourceRes = Module Ident Info
type SourceCnc = Module Ident Info
mapSourceModule :: (Module Ident Info -> Module Ident Info) -> SourceModule -> SourceModule
mapSourceModule f (i,mi) = (i, mapModules' f mi)
-- this is created in CheckGrammar, and so are Val and PVal
type PValues = [Term]