No bug report on UserInterrupt (#2000)

* No bug report on UserInterrupt

* Rebuild

* Update kore/src/Kore/BugReport.hs

Co-authored-by: Thomas Tuegel <ttuegel@mailbox.org>

* Rebuild

Co-authored-by: Thomas Tuegel <ttuegel@mailbox.org>

Author: andreiburdusa

kore/src/Kore/BugReport.hs

@@ -16,6 +16,10 @@ import Prelude.Kore
 
 import qualified Codec.Archive.Tar as Tar
 import qualified Codec.Compression.GZip as GZip
+import Control.Exception
+    ( AsyncException (UserInterrupt)
+    , fromException
+    )
 import Control.Monad.Catch
     ( ExitCase (..)
     , displayException
@@ -79,7 +83,7 @@ writeBugReportArchive base tar = do
 {- | Run the inner action with a temporary directory holding the bug report.
 
 The bug report will be saved as an archive if that was requested by the user, or
-if there is an error in the inner action.
+if there is an error in the inner action other than 'UserInterrupt'.
 
  -}
 withBugReport
@@ -104,10 +108,13 @@ withBugReport exeName bugReport act =
     releaseTempDirectory tmpDir exitCase = do
         case exitCase of
             ExitCaseSuccess _ -> optionalWriteBugReport tmpDir
-            ExitCaseException someException -> do
-                let message = displayException someException
-                writeFile (tmpDir </> "error" <.> "log") message
-                alwaysWriteBugReport tmpDir
+            ExitCaseException someException
+              | Just UserInterrupt == fromException someException ->
+                    optionalWriteBugReport tmpDir
+              | otherwise -> do
+                    let message = displayException someException
+                    writeFile (tmpDir </> "error" <.> "log") message
+                    alwaysWriteBugReport tmpDir
             ExitCaseAbort -> alwaysWriteBugReport tmpDir
         removePathForcibly tmpDir
     alwaysWriteBugReport tmpDir =