Suppress REPL instantiation messages when warnDefaulting = off.

Fixes #543.
GaloisInc · Sep 17, 2018 · 634c5a0 · 634c5a0
1 parent ad766b3
commit 634c5a0
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/Cryptol/REPL/Command.hs b/src/Cryptol/REPL/Command.hs
@@ -1211,8 +1211,10 @@ replEvalExpr expr =
     case ts of
       [] -> return ()
       _  ->
-        do rPutStrLn "Showing a specific instance of polymorphic result:"
-           mapM_ warnDefault ts
+        do EnvBool warnDefaulting <- getUser "warnDefaulting"
+           when warnDefaulting $
+             do rPutStrLn "Showing a specific instance of polymorphic result:"
+                mapM_ warnDefault ts
 
   warnDefault (x,t) =
     rPrint ("  *" <+> nest 2  ("Using" <+> quotes (pp t) <+> "for" <+>