diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-18 17:31:49 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-18 17:31:49 +0000 |
| commit | 5f0a68c1a4206bbd3cf07ae2b93844dedcc79c74 (patch) | |
| tree | c8490908e56cc4f1855cb7dd6419eed95b5e7354 /src/PGF | |
| parent | ea9aed6ff8303a576c95683d8e647b13be836e88 (diff) | |
bugfix: the optimizer should not filter out rules that refer to lexical categories
Diffstat (limited to 'src/PGF')
| -rw-r--r-- | src/PGF/PMCFG.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/PGF/PMCFG.hs b/src/PGF/PMCFG.hs index 6a83baad3..c077367ad 100644 --- a/src/PGF/PMCFG.hs +++ b/src/PGF/PMCFG.hs @@ -50,6 +50,8 @@ fcatInt = (-2) fcatFloat = (-3)
fcatVar = (-4)
+isLiteralFCat :: FCat -> Bool
+isLiteralFCat = (`elem` [fcatString, fcatInt, fcatFloat, fcatVar])
ppPMCFG :: ParserInfo -> Doc
ppPMCFG pinfo =
@@ -101,6 +103,6 @@ ppSeqId seqid = char 'S' <> int seqid filterProductions prods =
fmap (Set.filter filterRule) prods
where
- filterRule (FApply funid args) = all (\fcat -> IntMap.member fcat prods) args
+ filterRule (FApply funid args) = all (\fcat -> isLiteralFCat fcat || IntMap.member fcat prods) args
filterRule (FCoerce _) = True
filterRule _ = True
|