diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-15 14:24:23 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-15 14:24:23 +0000 |
| commit | 7676ab8e0072263ee52415614eaf94e50bce0995 (patch) | |
| tree | deeb7c0122dd65e1200b5a6129f6895190d23688 /src/GF/Grammar | |
| parent | 849642e9dd638082bb7b1d7b704200e01429233d (diff) | |
Copy command-line options to module flags when compiling to .gfo.
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index 4210358f1..5259e5618 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -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] |