From df0c4f81fa9c620d7c63af79c0b183a6beccf0bd Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 22 May 2008 11:59:31 +0000 Subject: remove all files that aren't used in GF-3.0 --- src-3.0/GF/Conversion/RemoveEpsilon.hs | 46 ---------------------------------- 1 file changed, 46 deletions(-) delete mode 100644 src-3.0/GF/Conversion/RemoveEpsilon.hs (limited to 'src-3.0/GF/Conversion/RemoveEpsilon.hs') diff --git a/src-3.0/GF/Conversion/RemoveEpsilon.hs b/src-3.0/GF/Conversion/RemoveEpsilon.hs deleted file mode 100644 index 0e5dafb38..000000000 --- a/src-3.0/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