Print NoSuchThing errors only to screen (#2446)

Co-authored-by: andreiburdusa <[email protected]>

Author: andreiburdusa

kore/src/Kore/BugReport.hs

@@ -4,6 +4,8 @@ License     : NCSA
 
 -}
 
+{-# LANGUAGE Strict #-}
+
 module Kore.BugReport
     ( BugReport (..)
     , BugReportOption (..)
@@ -31,6 +33,10 @@ import qualified Data.ByteString.Lazy as ByteString.Lazy
 import Debug
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC
+import GHC.IO.Exception
+    ( IOErrorType (..)
+    , IOException (ioe_type)
+    )
 import Options.Applicative
 import System.Directory
     ( listDirectory
@@ -138,6 +144,10 @@ withBugReport exeName bugReportOption act =
                     optionalWriteBugReport tmpDir
               | Just UserInterrupt == fromException someException ->
                     optionalWriteBugReport tmpDir
+              | Just (ioe :: IOException) <- fromException someException
+              , NoSuchThing <- ioe_type ioe -> do
+                    putStrLn $ displayException someException
+                    optionalWriteBugReport tmpDir
               | otherwise -> do
                     let message = displayException someException
                     writeFile (tmpDir </> "error" <.> "log") message