isfatal

base/REPL.jl

@@ -49,6 +49,7 @@ end
 function eval_user_input(ast::ANY, backend::REPLBackend)
     iserr, lasterr, bt = false, (), nothing
     while true
+        Base.set_fatal_eh()
         try
             if iserr
                 put!(backend.response_channel, (lasterr, bt))

base/error.jl

@@ -51,6 +51,17 @@ macro assert(ex, msgs...)
 end
 
 
+isfatal(error) = false
+if isdefined(Main, :Base)
+isfatal(::StackOverflowError) = true
+isfatal(::OutOfMemoryError) = true
+isfatal(::UndefVarError) = true
+end
+
+set_fatal_eh() = ccall(:jl_set_fatal_eh, Void, ())
+rethrow_fatal() = ccall(:jl_rethrow_fatal, Void, ())
+
+
 """
     retry(f, [condition]; n=3; max_delay=10) -> Function
 

base/exports.jl

@@ -1048,6 +1048,7 @@ export
     @catch,
     catch_backtrace,
     error,
+    isfatal,
     rethrow,
     retry,
     systemerror,

src/julia-syntax.scm

@@ -3078,8 +3078,9 @@ f(x) = yt(x)
             ;; (enter L) - push handler with catch block at label L
             ;; (leave n) - pop N exception handlers
             ((trycatch)
-             (let ((catch (make-label))
-                   (endl  (make-label)))
+             (let ((catch    (make-label))
+                   (notfatal (make-label))
+                   (endl     (make-label)))
                (emit `(enter ,catch))
                (set! handler-level (+ handler-level 1))
                (let* ((v1  (compile (cadr e)
@@ -3095,6 +3096,9 @@ f(x) = yt(x)
                  (set! handler-level (- handler-level 1))
                  (mark-label catch)
                  (emit `(leave 1))
+                 (emit `(gotoifnot ,`(call (top isfatal) ,'(the_exception)) ,notfatal))
+                 (emit `(call (top rethrow_fatal)))
+                 (mark-label notfatal)
                  (let ((v2 (compile (caddr e) break-labels value tail)))
                    (if val (emit `(= ,val ,v2)))
                    (if endl (mark-label endl))

src/julia.h

@@ -1404,6 +1404,8 @@ typedef struct _jl_task_t {
 
     // current exception handler
     jl_handler_t *eh;
+    // fatal exception handler
+    jl_handler_t *fatal_eh;
     // saved gc stack top for context switches
     jl_gcframe_t *gcstack;
     // current module, or NULL if this task has not set one
@@ -1434,6 +1436,8 @@ JL_DLLEXPORT jl_value_t *jl_switchto(jl_task_t *t, jl_value_t *arg);
 JL_DLLEXPORT void JL_NORETURN jl_throw(jl_value_t *e);
 JL_DLLEXPORT void JL_NORETURN jl_rethrow(void);
 JL_DLLEXPORT void JL_NORETURN jl_rethrow_other(jl_value_t *e);
+JL_DLLEXPORT void jl_set_fatal_eh(void);
+JL_DLLEXPORT void jl_rethrow_fatal(void);
 
 #ifdef JULIA_ENABLE_THREADING
 STATIC_INLINE void jl_lock_frame_push(void (*unlock_func)(void))

src/task.c

@@ -526,6 +526,18 @@ JL_DLLEXPORT void jl_rethrow(void)
     throw_internal(jl_exception_in_transit);
 }
 
+JL_DLLEXPORT void jl_set_fatal_eh(void)
+{
+    jl_current_task->fatal_eh = jl_current_task->eh;
+}
+
+JL_DLLEXPORT void jl_rethrow_fatal(void)
+{
+    if (jl_current_task->eh != jl_current_task->fatal_eh) {
+        jl_rethrow();
+    }
+}
+
 JL_DLLEXPORT void jl_rethrow_other(jl_value_t *e)
 {
     throw_internal(e);
@@ -554,6 +566,7 @@ JL_DLLEXPORT jl_task_t *jl_new_task(jl_function_t *start, size_t ssize)
     t->backtrace = jl_nothing;
     // there is no active exception handler available on this stack yet
     t->eh = NULL;
+    t->fatal_eh = NULL;
     t->gcstack = NULL;
     t->stkbuf = NULL;
     t->tid = 0;
@@ -661,6 +674,7 @@ void jl_init_root_task(void *stack, size_t ssize)
     jl_current_task->exception = jl_nothing;
     jl_current_task->backtrace = jl_nothing;
     jl_current_task->eh = NULL;
+    jl_current_task->fatal_eh = NULL;
     jl_current_task->gcstack = NULL;
     jl_current_task->tid = ti_tid;
 #ifdef JULIA_ENABLE_THREADING