cryptol-saw-core: documentation

GaloisInc · Jan 4, 2024 · 3a2143e · 3a2143e
1 parent ab9d9f5
commit 3a2143e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs b/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs
@@ -776,6 +776,8 @@ moduleCmdResult (res, ws) = do
     Right (a, me) -> return (a, me)
     Left err      -> fail $ "Cryptol error:\n" ++ show (pp err) -- X.throwIO (ModuleSystemError err)
   where
+    -- If all warnings are about type defaults, pretend there are no warnings at
+    -- all to avoid displaying an empty warning container.
     suppressDefaulting :: MM.ModuleWarning -> [MM.ModuleWarning]
     suppressDefaulting w =
       case w of