diff options
| author | peb <unknown> | 2005-05-30 07:11:32 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-05-30 07:11:32 +0000 |
| commit | e04956a42d488cdff6209a392211b89c6ef64b3e (patch) | |
| tree | 63f89392a5c9f96ab826aa43db6d92f36e6dc7fd /src/GF/Conversion/RemoveEpsilon.hs | |
| parent | 136b0203eb2c2487863ea320eb6c095471be93a6 (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/GF/Conversion/RemoveEpsilon.hs')
| -rw-r--r-- | src/GF/Conversion/RemoveEpsilon.hs | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/src/GF/Conversion/RemoveEpsilon.hs b/src/GF/Conversion/RemoveEpsilon.hs index bdfdfb41e..0e5dafb38 100644 --- a/src/GF/Conversion/RemoveEpsilon.hs +++ b/src/GF/Conversion/RemoveEpsilon.hs @@ -4,9 +4,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/21 16:21:52 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.2 $ +-- > CVS $Date: 2005/05/30 08:11:32 $ +-- > CVS $Author: peb $ +-- > CVS $Revision: 1.3 $ -- -- Removing epsilon linearizations from MCF grammars ----------------------------------------------------------------------------- @@ -30,7 +30,17 @@ import GF.Data.SortedList import GF.Data.GeneralDeduction convertGrammar :: EGrammar -> EGrammar -convertGrammar grammar = undefined +convertGrammar grammar = trace2 "RemoveEpsilon: initialEmpties" (prt initialEmpties) $ + trace2 "RemoveEpsilon: emptyCats" (prt emptyCats) $ + grammar + where initialEmpties = nubsort [ (cat, lbl) | + Rule (Abs cat _ _) (Cnc _ _ lins) <- grammar, + Lin lbl [] <- lins ] + emptyCats = limitEmpties initialEmpties + limitEmpties es = if es==es' then es else limitEmpties es' + where es' = nubsort [ (cat, lbl) | Rule (Abs cat _ _) (Cnc _ _ lins) <- grammar, + Lin lbl rhs <- lins, + all (symbol (\(c,l,n) -> (c,l) `elem` es) (const False)) rhs ] |