mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
f4ca107f7f
* libguile/exceptions.c:
* libguile/exceptions.h: New files.
* libguile.h: Add exceptions.h.
* libguile/Makefile.am (libguile_@GUILE_EFFECTIVE_VERSION@_la_SOURCES):
(DOT_X_FILES, DOT_DOC_FILES, modinclude_HEADERS): Add exceptions.c and
exceptions.h.
* libguile/init.c (scm_i_init_guile): Initialize exceptions.
* libguile/threads.c (scm_spawn_thread): Use new names for
scm_i_make_catch_handler and scm_c_make_thunk.
* libguile/throw.c: Rewrite to be implemented in terms of
with-exception-handler / raise-exception.
* libguile/throw.h: Use data types from exceptions.h. Move
scm_report_stack_overflow and scm_report_out_of_memory to
exceptions.[ch].
* module/ice-9/boot-9.scm (&error, &programming-error)
(&non-continuable, make-exception-from-throw, raise-exception)
(with-exception-handler): New top-level definitions.
(throw, catch, with-throw-handler): Rewrite in terms of
with-exception-handler and raise-exception.
: New top-level definitions.
* module/ice-9/exceptions.scm: Adapt to re-export &error,
&programming-error, &non-continuable, raise-exception, and
with-exception-handler from boot-9.
(make-quit-exception, guile-quit-exception-converter): New exception
converters.
(make-exception-from-throw): Override core binding.
* test-suite/tests/eval.test ("inner trim with prompt tag"): Adapt to
"with-exception-handler" being the procedure on the stack.
("outer trim with prompt tag"): Likewise.
* test-suite/tests/exceptions.test (throw-test): Use pass-if-equal.
* module/srfi/srfi-34.scm: Reimplement in terms of core exceptions, and
make "guard" actually re-raise continuations with the original "raise"
continuation.
89 lines
2.9 KiB
C
89 lines
2.9 KiB
C
#ifndef SCM_THROW_H
|
||
#define SCM_THROW_H
|
||
|
||
/* Copyright 1995-1996,1998,2000,2006,2008,2010,2014,2017-2019
|
||
Free Software Foundation, Inc.
|
||
|
||
This file is part of Guile.
|
||
|
||
Guile is free software: you can redistribute it and/or modify it
|
||
under the terms of the GNU Lesser General Public License as published
|
||
by the Free Software Foundation, either version 3 of the License, or
|
||
(at your option) any later version.
|
||
|
||
Guile is distributed in the hope that it will be useful, but WITHOUT
|
||
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||
FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
||
License for more details.
|
||
|
||
You should have received a copy of the GNU Lesser General Public
|
||
License along with Guile. If not, see
|
||
<https://www.gnu.org/licenses/>. */
|
||
|
||
|
||
|
||
#include "libguile/scm.h"
|
||
#include "libguile/exceptions.h"
|
||
|
||
|
||
|
||
typedef scm_t_thunk scm_t_catch_body;
|
||
typedef SCM (*scm_t_catch_handler) (void *data,
|
||
SCM tag, SCM throw_args);
|
||
|
||
SCM_INTERNAL SCM scm_i_make_catch_handler (scm_t_catch_handler h, void *data);
|
||
|
||
SCM_API SCM scm_c_catch (SCM tag,
|
||
scm_t_catch_body body,
|
||
void *body_data,
|
||
scm_t_catch_handler handler,
|
||
void *handler_data,
|
||
scm_t_catch_handler pre_unwind_handler,
|
||
void *pre_unwind_handler_data);
|
||
|
||
SCM_API SCM scm_c_with_throw_handler (SCM tag,
|
||
scm_t_catch_body body,
|
||
void *body_data,
|
||
scm_t_catch_handler handler,
|
||
void *handler_data,
|
||
int lazy_catch_p);
|
||
|
||
SCM_API SCM scm_internal_catch (SCM tag,
|
||
scm_t_catch_body body,
|
||
void *body_data,
|
||
scm_t_catch_handler handler,
|
||
void *handler_data);
|
||
|
||
/* The first argument to scm_body_thunk should be a pointer to one of
|
||
these. See the implementation of catch in throw.c. */
|
||
struct scm_body_thunk_data
|
||
{
|
||
/* The tag being caught. We only use it to figure out what
|
||
arguments to pass to the body procedure; see scm_catch_thunk_body for
|
||
details. */
|
||
SCM tag;
|
||
|
||
/* The Scheme procedure object constituting the catch body.
|
||
scm_body_by_proc invokes this. */
|
||
SCM body_proc;
|
||
};
|
||
|
||
SCM_API SCM scm_body_thunk (void *);
|
||
|
||
|
||
SCM_API SCM scm_handle_by_proc (void *, SCM, SCM);
|
||
SCM_API SCM scm_handle_by_proc_catching_all (void *, SCM, SCM);
|
||
SCM_API SCM scm_handle_by_message (void *, SCM, SCM);
|
||
SCM_API SCM scm_handle_by_message_noexit (void *, SCM, SCM);
|
||
SCM_API SCM scm_handle_by_throw (void *, SCM, SCM);
|
||
SCM_API int scm_exit_status (SCM args);
|
||
|
||
SCM_API SCM scm_catch_with_pre_unwind_handler (SCM tag, SCM thunk, SCM handler, SCM lazy_handler);
|
||
SCM_API SCM scm_catch (SCM tag, SCM thunk, SCM handler);
|
||
SCM_API SCM scm_with_throw_handler (SCM tag, SCM thunk, SCM handler);
|
||
SCM_API SCM scm_ithrow (SCM key, SCM args, int no_return) SCM_NORETURN;
|
||
|
||
SCM_API SCM scm_throw (SCM key, SCM args) SCM_NORETURN;
|
||
SCM_INTERNAL void scm_init_throw (void);
|
||
|
||
#endif /* SCM_THROW_H */
|