diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-06-01 22:35:43 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-06-01 22:35:43 +0000 |
| commit | 501c3eed7fde4e1ca0c24fb55e6011875ca75bca (patch) | |
| tree | 4cc5aaef09210bc8352a0ca7aa2e0ca061982f3c /src | |
| parent | 013f3ce803cac0d6b0d6f100f4561fb8a0e892fe (diff) | |
less recompilation of cf and morpho
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Compile/ShellState.hs | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/src/GF/Compile/ShellState.hs b/src/GF/Compile/ShellState.hs index 41eff5fc8..23d579d0b 100644 --- a/src/GF/Compile/ShellState.hs +++ b/src/GF/Compile/ShellState.hs @@ -219,15 +219,19 @@ updateShellState opts ign mcnc sh ((_,sgr,gr),rts) = do let cgr = cgr0 ---- filterAbstracts (map fst abstrs) cgr0 - let concrs = nub $ concrs0 ++ map (snd . fst) (concretes sh) + let oldConcrs = map (snd . fst) (concretes sh) + newConcrs = maybe [] (M.allConcretes gr) abstr0 + toRetain (c,v) = notElem c newConcrs + let concrs = nub $ newConcrs ++ oldConcrs concr0 = ifNull Nothing (return . head) concrs notInrts f = notElem f $ map fst rts subcgr = unSubelimCanon cgr - cf's <- if oElem noCF opts + cf's0 <- if oElem noCF opts then return $ map snd $ cfs sh - else mapM (canon2cf opts ign subcgr) concrs --- why need to update all... + else mapM (canon2cf opts ign subcgr) newConcrs + let cf's = zip newConcrs cf's0 ++ filter toRetain (cfs sh) - let morphos = map (mkMorpho subcgr) concrs + let morphs = [(c,mkMorpho subcgr c) | c <- newConcrs] ++ filter toRetain (morphos sh) let probss = [] ----- @@ -251,12 +255,12 @@ updateShellState opts ign mcnc sh ((_,sgr,gr),rts) = do concretes = zip (zip concrs concrs) (repeat True), canModules = cgr, srcModules = src, - cfs = zip concrs cf's, + cfs = cf's, abstracts = abstrs, mcfgs = zip concrs mcfgs, cfgs = zip concrs cfgs, pInfos = zip concrs pInfos, - morphos = zip concrs morphos, + morphos = morphs, treebanks = treebanks sh, probss = zip concrs probss, gloptions = gloptions sh, --- opts, -- this would be command-line options |