mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Suppres the module loading message produced in Cryptol.ModuleSystem.Base.
This message interferes with the operation of wire-protocols communicated on stdin when using Cryptol as a library.
This commit is contained in:
parent
bbcd39d400
commit
ee24bb4f91
@ -169,7 +169,7 @@ loadModule path pm = do
|
|||||||
loadDeps pm'
|
loadDeps pm'
|
||||||
|
|
||||||
-- XXX make it possible to configure output
|
-- XXX make it possible to configure output
|
||||||
io (putStrLn ("Loading module " ++ pretty (P.thing (P.mName pm'))))
|
--io (putStrLn ("Loading module " ++ pretty (P.thing (P.mName pm'))))
|
||||||
|
|
||||||
tcm <- checkModule path pm'
|
tcm <- checkModule path pm'
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user