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/Grammar/Grammar.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/GF/Grammar')

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