From b96b36f43de3e2f8b58d5f539daa6f6d47f25870 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:43:48 +0000 Subject: removed src for 2.9 --- src/GF/Conversion/RemoveEpsilon.hs | 46 -------------------------------------- 1 file changed, 46 deletions(-) delete mode 100644 src/GF/Conversion/RemoveEpsilon.hs (limited to 'src/GF/Conversion/RemoveEpsilon.hs') diff --git a/src/GF/Conversion/RemoveEpsilon.hs b/src/GF/Conversion/RemoveEpsilon.hs deleted file mode 100644 index 0e5dafb38..000000000 --- a/src/GF/Conversion/RemoveEpsilon.hs +++ /dev/null @@ -1,46 +0,0 @@ ----------------------------------------------------------------------- --- | --- Maintainer : PL --- Stability : (stable) --- Portability : (portable) --- --- > CVS $Date: 2005/05/30 08:11:32 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.3 $ --- --- Removing epsilon linearizations from MCF grammars ------------------------------------------------------------------------------ - - -module GF.Conversion.RemoveEpsilon where --- (convertGrammar) where - -import GF.System.Tracing -import GF.Infra.Print - -import Control.Monad -import Data.List (mapAccumL) -import Data.Maybe (mapMaybe) -import GF.Formalism.Utilities -import GF.Formalism.GCFG -import GF.Formalism.MCFG -import GF.Conversion.Types -import GF.Data.Assoc -import GF.Data.SortedList -import GF.Data.GeneralDeduction - -convertGrammar :: EGrammar -> EGrammar -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 ] - - - -- cgit v1.2.3