diff options
Diffstat (limited to 'src/GF/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Compile/Compile.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/GF/Compile/Compile.hs b/src/GF/Compile/Compile.hs index 0dba7a9ec..c79dd2b4d 100644 --- a/src/GF/Compile/Compile.hs +++ b/src/GF/Compile/Compile.hs @@ -272,10 +272,8 @@ compileSourceModule opts env@(k,gr,can) mo@(i,mi) = do (k',mo3r:_) <- ioeErr $ refreshModule (k,mos) mo3 mo4 <- ----- case snd mo1b of ----- ModMod n | isModCnc n -> - putpp " optimizing " $ ioeErr $ optimizeModule opts mos mo3r ----- _ -> return [mo3r] + ---- if oElem "check_only" opts + putpp " optimizing " $ ioeErr $ optimizeModule opts mos mo3r return (k',mo4) where ---- prDebug mo = ioeIO $ putStrLn $ prGrammar $ MGrammar [mo] ---- debug |