From 9229c157642c3503d365f42fe5ecac414958ab9b Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 31 May 2008 14:40:46 +0000 Subject: added positions to Module record; avoided Module constructor where possible; moved Refresh to Compile/ --- src-3.0/GF/Compile/BackOpt.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src-3.0/GF/Compile/BackOpt.hs') diff --git a/src-3.0/GF/Compile/BackOpt.hs b/src-3.0/GF/Compile/BackOpt.hs index 2814448b4..8667023c0 100644 --- a/src-3.0/GF/Compile/BackOpt.hs +++ b/src-3.0/GF/Compile/BackOpt.hs @@ -34,8 +34,8 @@ type OptSpec = Set Optimization shareModule :: OptSpec -> (Ident, SourceModInfo) -> (Ident, SourceModInfo) shareModule opt (i,m) = case m of - M.ModMod (M.Module mt st fs me ops js) -> - (i,M.ModMod (M.Module mt st fs me ops (mapTree (shareInfo opt) js))) + M.ModMod mo -> + (i,M.ModMod (M.replaceJudgements mo (mapTree (shareInfo opt) (M.jments mo)))) _ -> (i,m) shareInfo opt (c, CncCat ty (Yes t) m) = (c,CncCat ty (Yes (shareOptim opt c t)) m) -- cgit v1.2.3