mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way.
This commit is contained in:
@@ -58,7 +58,7 @@ link opts cnc gr = do
|
|||||||
putPointE Normal opts "linking ... " $ do
|
putPointE Normal opts "linking ... " $ do
|
||||||
pgf <- ioeIO (mkCanon2pgf opts cnc gr)
|
pgf <- ioeIO (mkCanon2pgf opts cnc gr)
|
||||||
probs <- ioeIO (maybe (return . defaultProbabilities) readProbabilitiesFromFile (flag optProbsFile opts) pgf)
|
probs <- ioeIO (maybe (return . defaultProbabilities) readProbabilitiesFromFile (flag optProbsFile opts) pgf)
|
||||||
ioeIO $ putStrLn "OK"
|
ioeIO $ when (verbAtLeast opts Normal) $ putStrFlush "OK"
|
||||||
return $ setProbabilities probs
|
return $ setProbabilities probs
|
||||||
$ if flag optOptimizePGF opts then optimizePGF pgf else pgf
|
$ if flag optOptimizePGF opts then optimizePGF pgf else pgf
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user