diff options
| author | aarne <unknown> | 2003-11-13 16:02:25 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-13 16:02:25 +0000 |
| commit | c5146d06143c9b93e40bb2b1265ab58134be36d7 (patch) | |
| tree | a3c9fff896b110e7c84bbc8fe298f278e374eccb /src/GF/Grammar/Refresh.hs | |
| parent | 25c86905867537f75e9fe2f19759d8747d465590 (diff) | |
Improved interface and instance compilation.
Improved interface and instance compilation.
Restored an optimization of the optimizer: up to 4x faster now.
Diffstat (limited to 'src/GF/Grammar/Refresh.hs')
| -rw-r--r-- | src/GF/Grammar/Refresh.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Grammar/Refresh.hs b/src/GF/Grammar/Refresh.hs index ff4c9b8af..b89897dfb 100644 --- a/src/GF/Grammar/Refresh.hs +++ b/src/GF/Grammar/Refresh.hs @@ -86,7 +86,7 @@ refreshGrammar = liftM (MGrammar . snd) . foldM refreshModule (0,[]) . modules refreshModule :: (Int,[SourceModule]) -> SourceModule -> Err (Int,[SourceModule]) refreshModule (k,ms) mi@(i,m) = case m of - ModMod mo@(Module mt fs st me ops js) | (isModCnc mo || mt == MTResource) -> do + ModMod mo@(Module mt fs st me ops js) | (isModCnc mo || isModRes mo) -> do (k',js') <- foldM refreshRes (k,[]) $ tree2list js return (k', (i, ModMod(Module mt fs st me ops (buildTree js'))) : ms) _ -> return (k, mi:ms) |