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/Infra/Modules.hs | |
| parent | 849642e9dd638082bb7b1d7b704200e01429233d (diff) | |
Copy command-line options to module flags when compiling to .gfo.
Diffstat (limited to 'src/GF/Infra/Modules.hs')
| -rw-r--r-- | src/GF/Infra/Modules.hs | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/GF/Infra/Modules.hs b/src/GF/Infra/Modules.hs index 9d8438f0f..3b9cf6b6a 100644 --- a/src/GF/Infra/Modules.hs +++ b/src/GF/Infra/Modules.hs @@ -23,7 +23,7 @@ module GF.Infra.Modules ( MReuseType(..), MInclude (..), extends, isInherited,inheritAll, updateMGrammar, updateModule, replaceJudgements, addFlag, - addOpenQualif, flagsModule, allFlags, mapModules, + addOpenQualif, flagsModule, allFlags, mapModules, mapModules', MainGrammar(..), MainConcreteSpec(..), OpenSpec(..), OpenQualif(..), oSimple, oQualif, ModuleStatus(..), @@ -141,9 +141,12 @@ allFlags gr = concatOptions $ map flags $ [m | (_, ModMod m) <- modules gr] mapModules :: (Module i a -> Module i a) -> MGrammar i a -> MGrammar i a -mapModules f = MGrammar . map (onSnd mapModules') . modules - where mapModules' (ModMod m) = ModMod (f m) - mapModules' m = m +mapModules f = MGrammar . map (onSnd (mapModules' f)) . modules + +mapModules' :: (Module i a -> Module i a) + -> ModInfo i a -> ModInfo i a +mapModules' f (ModMod m) = ModMod (f m) +mapModules' _ m = m data MainGrammar i = MainGrammar { mainAbstract :: i , |