From 6eda1118fcc497fda0939f02502569caf8625c7c Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 26 May 2010 09:37:32 +0000 Subject: since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation --- src/runtime/haskell/PGF/Check.hs | 8 -------- 1 file changed, 8 deletions(-) (limited to 'src/runtime/haskell/PGF/Check.hs') diff --git a/src/runtime/haskell/PGF/Check.hs b/src/runtime/haskell/PGF/Check.hs index 8f3b82eb7..94713a745 100644 --- a/src/runtime/haskell/PGF/Check.hs +++ b/src/runtime/haskell/PGF/Check.hs @@ -137,14 +137,6 @@ lintype pgf lang fun = case typeSkeleton (lookFun pgf fun) of vlinc (i,c) = case linc c of R ts -> R (ts ++ replicate i str) -inline :: PGFSig -> CId -> Term -> Term -inline pgf lang t = case t of - F c -> inl $ look c - _ -> composSafeOp inl t - where - inl = inline pgf lang - look = lookLin pgf lang - composOp :: Monad m => (Term -> m Term) -> Term -> m Term composOp f trm = case trm of R ts -> liftM R $ mapM f ts -- cgit v1.2.3