From c5146d06143c9b93e40bb2b1265ab58134be36d7 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 13 Nov 2003 16:02:25 +0000 Subject: Improved interface and instance compilation. Improved interface and instance compilation. Restored an optimization of the optimizer: up to 4x faster now. --- src/GF/Grammar/Refresh.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Grammar/Refresh.hs') 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) -- cgit v1.2.3