summaryrefslogtreecommitdiff
path: root/src-3.0/GF/Grammar
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-05-24 09:16:59 +0000
committeraarne <aarne@cs.chalmers.se>2008-05-24 09:16:59 +0000
commit0db611a9abfb31c76933a455da946cf2194ded7b (patch)
treef7548438d460ec72bfe1d74fd8673dfa3183c7d6 /src-3.0/GF/Grammar
parent5a386209ddf005f5a090f3668cfe246c3df22057 (diff)
support for source gr and i -retain in GFI env
Diffstat (limited to 'src-3.0/GF/Grammar')
-rw-r--r--src-3.0/GF/Grammar/Grammar.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src-3.0/GF/Grammar/Grammar.hs b/src-3.0/GF/Grammar/Grammar.hs
index f451d0b27..9771a56dd 100644
--- a/src-3.0/GF/Grammar/Grammar.hs
+++ b/src-3.0/GF/Grammar/Grammar.hs
@@ -15,6 +15,7 @@
-----------------------------------------------------------------------------
module GF.Grammar.Grammar (SourceGrammar,
+ emptySourceGrammar,
SourceModInfo,
SourceModule,
SourceAbs,
@@ -64,6 +65,8 @@ import qualified Data.ByteString.Char8 as BS
-- | grammar as presented to the compiler
type SourceGrammar = MGrammar Ident Info
+emptySourceGrammar = MGrammar []
+
type SourceModInfo = ModInfo Ident Info
type SourceModule = (Ident, SourceModInfo)