From 7676ab8e0072263ee52415614eaf94e50bce0995 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Wed, 15 Oct 2008 14:24:23 +0000
Subject: Copy command-line options to module flags when compiling to .gfo.

---
 src/GF/Infra/Modules.hs | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'src/GF/Infra/Modules.hs')

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 ,
-- 
cgit v1.2.3