SRG conversion: print CFG when a unknown cat is found in renameCats. Do filtering in ebnf printer.

src/GF/Speech/GSL.hs

@@ -24,7 +24,7 @@ width :: Int
 width = 75
 
 gslPrinter :: PGF -> CId -> String
-gslPrinter pgf cnc = renderStyle st $ prGSL $ makeSimpleSRG pgf cnc
+gslPrinter pgf cnc = renderStyle st $ prGSL $ makeNonLeftRecursiveSRG pgf cnc
   where st = style { lineLength = width } 
 
 prGSL :: SRG -> Doc

src/GF/Speech/JSGF.hs

@@ -32,7 +32,7 @@ width = 75
 jsgfPrinter :: Maybe SISRFormat
 	    -> PGF 
             -> CId -> String
-jsgfPrinter sisr pgf cnc = renderStyle st $ prJSGF sisr $ makeSimpleSRG pgf cnc
+jsgfPrinter sisr pgf cnc = renderStyle st $ prJSGF sisr $ makeNonLeftRecursiveSRG pgf cnc
   where st = style { lineLength = width }
 
 prJSGF :: Maybe SISRFormat -> SRG -> Doc

src/GF/Speech/SRG.hs

@@ -13,7 +13,7 @@ module GF.Speech.SRG (SRG(..), SRGRule(..), SRGAlt(..), SRGItem, SRGSymbol
                      , ebnfPrinter
                      , nonLeftRecursivePrinter
                      , regularPrinter
-                     , makeSimpleSRG
+                     , makeNonLeftRecursiveSRG
                      , makeNonRecursiveSRG
                      , getSpeechLanguage
                      , isExternalCat
@@ -69,13 +69,19 @@ type SRGNT = (Cat, Int)
 
 
 ebnfPrinter :: Maybe SISRFormat -> PGF -> CId -> String
-ebnfPrinter sisr pgf cnc = prSRG sisr $ makeSRG id pgf cnc
+ebnfPrinter sisr pgf cnc = prSRG sisr $ makeSRG preprocess pgf cnc
+    where
+      preprocess =   mergeIdentical
+                   . topDownFilter
+                   . bottomUpFilter
 
 nonLeftRecursivePrinter :: Maybe SISRFormat -> PGF -> CId -> String
-nonLeftRecursivePrinter sisr pgf cnc = prSRG sisr $ makeSRG removeLeftRecursion pgf cnc
+nonLeftRecursivePrinter sisr pgf cnc = prSRG sisr $ makeNonLeftRecursiveSRG pgf cnc
 
 regularPrinter :: PGF -> CId -> String
 regularPrinter pgf cnc = prSRG Nothing $ makeSRG makeRegular pgf cnc
+    where
+      preprocess = makeRegular
 
 makeSRG :: (CFG -> CFG) -> PGF -> CId -> SRG
 makeSRG = mkSRG cfgToSRG
@@ -83,8 +89,8 @@ makeSRG = mkSRG cfgToSRG
       cfgToSRG cfg = [cfRulesToSRGRule rs | (_,rs) <- allRulesGrouped cfg]
 
 -- | Create a compact filtered non-left-recursive SRG. 
-makeSimpleSRG :: PGF -> CId -> SRG
+makeNonLeftRecursiveSRG :: PGF -> CId -> SRG
-makeSimpleSRG  = makeSRG preprocess
+makeNonLeftRecursiveSRG  = makeSRG preprocess
     where
       preprocess =   traceStats "After mergeIdentical"
                    . mergeIdentical
@@ -130,10 +136,11 @@ mkSRG mkRules preprocess pgf cnc =
 renameCats :: String -> CFG -> CFG
 renameCats prefix cfg = mapCFGCats renameCat cfg
   where renameCat c | isExternal c = c ++ "_cat"
-                    | otherwise = Map.findWithDefault (error ("renameCats: " ++ c)) c names
+                    | otherwise = Map.findWithDefault (badCat c) c names
         isExternal c = c `Set.member` cfgExternalCats cfg        
         catsByPrefix = buildMultiMap [(takeWhile (/='_') cat, cat) | cat <- allCats cfg, not (isExternal cat)]
         names = Map.fromList [(c,pref++"_"++show i) | (pref,cs) <- catsByPrefix, (c,i) <- zip cs [1..]]
+        badCat c = error ("GF.Speech.SRG.renameCats: " ++ c ++ "\n" ++ prCFG cfg)
 
 getSpeechLanguage :: PGF -> CId -> Maybe String
 getSpeechLanguage pgf cnc = fmap (replace '_' '-') $ lookConcrFlag pgf cnc (mkCId "language")

src/GF/Speech/SRGS_ABNF.hs

@@ -38,7 +38,7 @@ width = 75
 
 srgsAbnfPrinter :: Maybe SISRFormat
 	        -> PGF -> CId -> String
-srgsAbnfPrinter sisr pgf cnc = showDoc $ prABNF sisr $ makeSimpleSRG pgf cnc
+srgsAbnfPrinter sisr pgf cnc = showDoc $ prABNF sisr $ makeNonLeftRecursiveSRG pgf cnc
 
 srgsAbnfNonRecursivePrinter :: PGF -> CId -> String
 srgsAbnfNonRecursivePrinter pgf cnc = showDoc $ prABNF Nothing $ makeNonRecursiveSRG pgf cnc

src/GF/Speech/SRGS_XML.hs

@@ -23,7 +23,7 @@ import qualified Data.Map as Map
 
 srgsXmlPrinter :: Maybe SISRFormat 
                -> PGF -> CId -> String
-srgsXmlPrinter sisr pgf cnc = prSrgsXml sisr $ makeSimpleSRG pgf cnc
+srgsXmlPrinter sisr pgf cnc = prSrgsXml sisr $ makeNonLeftRecursiveSRG pgf cnc
 
 srgsXmlNonRecursivePrinter :: PGF -> CId -> String
 srgsXmlNonRecursivePrinter pgf cnc = prSrgsXml Nothing $ makeNonRecursiveSRG pgf cnc