From ee24bb4f9103027f23a1934476a3d594a4dd9eb6 Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Tue, 19 Sep 2017 16:49:44 -0700 Subject: [PATCH] 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. --- src/Cryptol/ModuleSystem/Base.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Cryptol/ModuleSystem/Base.hs b/src/Cryptol/ModuleSystem/Base.hs index 2844d467..4a47f960 100644 --- a/src/Cryptol/ModuleSystem/Base.hs +++ b/src/Cryptol/ModuleSystem/Base.hs @@ -169,7 +169,7 @@ loadModule path pm = do loadDeps pm' -- 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'