--- a/src/Pure/General/exn.scala Mon Jul 26 13:04:55 2021 +0200
+++ b/src/Pure/General/exn.scala Mon Jul 26 13:12:22 2021 +0200
@@ -79,6 +79,9 @@
def is_interrupt(exn: Throwable): Boolean =
isabelle.setup.Exn.is_interrupt(exn)
+ def failure_rc(exn: Throwable): Int =
+ isabelle.setup.Exn.failure_rc(exn)
+
def interruptible_capture[A](e: => A): Result[A] =
try { Res(e) }
catch { case exn: Throwable if !is_interrupt(exn) => Exn[A](exn) }
@@ -100,12 +103,6 @@
}
- /* POSIX return code */
-
- def return_code(exn: Throwable, rc: Int): Int =
- if (is_interrupt(exn)) Process_Result.interrupt_rc else rc
-
-
/* message */
def user_message(exn: Throwable): Option[String] =