GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-12 04:32:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

bugfix in the filterProds function

Browse Source
This commit is contained in:
krasimir
2009-09-23 06:32:24 +00:00
parent ea10ce93c4
commit 0b1590536a
1 changed files with 16 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
src/PGF/PMCFG.hs
View File

@@ -100,9 +100,20 @@ ppFunId funid = char 'F' <> int funid
ppSeqId seqid = char 'S' <> int seqid ppSeqId seqid = char 'S' <> int seqid
filterProductions prods = filterProductions = closure
fmap (Set.filter filterRule) prods
where where
filterRule (FApply funid args) = all (\fcat -> isLiteralFCat fcat || IntMap.member fcat prods) args closure prods0
filterRule (FCoerce _) = True | IntMap.size prods == IntMap.size prods0 = prods
filterRule _ = True | otherwise = closure prods
where
prods = IntMap.mapMaybe (filterProdSet prods0) prods0
filterProdSet prods set0
| Set.null set = Nothing
| otherwise = Just set
where
set = Set.filter (filterRule prods) set0
filterRule prods (FApply funid args) = all (\fcat -> isLiteralFCat fcat || IntMap.member fcat prods) args
filterRule prods (FCoerce fcat) = isLiteralFCat fcat || IntMap.member fcat prods
filterRule prods _ = True