GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-12 12:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

bugfix: if a concrete module has operations then they also should be optimized

Browse Source
This commit is contained in:
krasimir
2009-11-07 15:18:25 +00:00
parent 0ed7853c6b
commit 8e623175a6
2 changed files with 27 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/GF/Compile/BackOpt.hs
View File

@@ -15,7 +15,7 @@
-- following advice of Josef Svenningsson
-----------------------------------------------------------------------------
module GF.Compile.BackOpt (shareModule, OptSpec) where
module GF.Compile.BackOpt (shareModule) where
import GF.Grammar.Grammar
import GF.Infra.Ident
@@ -29,10 +29,12 @@ import qualified Data.ByteString.Char8 as BS
import Data.Set (Set)
import qualified Data.Set as Set
type OptSpec = Set Optimization
shareModule :: Options -> SourceModule -> SourceModule
shareModule opts (i,mo) = (i,M.replaceJudgements mo (mapTree (shareInfo optim) (M.jments mo)))
where
optim = flag optOptimizations opts
shareModule :: OptSpec -> SourceModule -> SourceModule
shareModule opt (i,mo) = (i,M.replaceJudgements mo (mapTree (shareInfo opt) (M.jments mo)))
type OptSpec = Set Optimization
shareInfo :: OptSpec -> (Ident, Info) -> Info
shareInfo opt (c, CncCat ty (Just t) m) = CncCat ty (Just (shareOptim opt c t)) m