SRGS generation: don't include debug script stuff if debugging is disabled. Place category comments better.

This commit is contained in:
bringert
2006-12-12 10:37:45 +00:00
parent c07300b86b
commit 87b66d5205
2 changed files with 3 additions and 3 deletions

View File

@@ -56,9 +56,9 @@ prSrgsXml sisr (SRG{grammarName=name,startCat=start,
meta "generator" ("Grammatical Framework " ++ version
++ " (compiled " ++ today ++ ")")]
++ topCatRules
++ map ruleToXML rs
++ concatMap ruleToXML rs
ruleToXML (SRGRule cat origCat alts) =
rule (prCat cat) (comments ["Category " ++ origCat] ++ prRhs isList alts)
comments ["Category " ++ origCat] ++ [rule (prCat cat) (prRhs isList alts)]
where isList = False
-- Disabled list build since OptimTalk can't handle it ATM
{- "List" `isPrefixOf` origCat && length cs == 2