From d95ca4a103c9023aa104b25acdc9c21418de6a14 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 19 Jan 2009 13:23:03 +0000 Subject: refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removed --- src/GF/Compile/BackOpt.hs | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'src/GF/Compile/BackOpt.hs') diff --git a/src/GF/Compile/BackOpt.hs b/src/GF/Compile/BackOpt.hs index aeb3bcb8d..484b1f1f0 100644 --- a/src/GF/Compile/BackOpt.hs +++ b/src/GF/Compile/BackOpt.hs @@ -32,11 +32,8 @@ import qualified Data.Set as Set type OptSpec = Set Optimization -shareModule :: OptSpec -> (Ident, SourceModInfo) -> (Ident, SourceModInfo) -shareModule opt (i,m) = case m of - M.ModMod mo -> - (i,M.ModMod (M.replaceJudgements mo (mapTree (shareInfo opt) (M.jments mo)))) - _ -> (i,m) +shareModule :: OptSpec -> SourceModule -> SourceModule +shareModule opt (i,mo) = (i,M.replaceJudgements mo (mapTree (shareInfo opt) (M.jments mo))) shareInfo :: OptSpec -> (Ident, Info) -> Info shareInfo opt (c, CncCat ty (Yes t) m) = CncCat ty (Yes (shareOptim opt c t)) m -- cgit v1.2.3