mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
498f3f9568
* libguile/dynstack.h:
* libguile/dynstack.c (scm_dynstack_find_old_fluid_value): New
function.
* libguile/fluids.c (saved_dynamic_state_ref): New helper.
(scm_fluid_ref): Fix docstring.
(scm_fluid_ref_star): New function allowing access to previous values
for a fluid.
(scm_dynamic_state_ref): New internal function.
* libguile/fluids.h: Add scm_fluid_ref_star and scm_dynamic_state_ref.
* libguile/stacks.c (scm_stack_id): Adapt to %stacks not being a chain.
* libguile/throw.c (catch, throw_without_pre_unwind): Adapt to
%exception-handlers not being a chain.
* module/ice-9/boot-9.scm (catch, dispatch-exception): Instead of having
%exception-handlers be a chain, use fluid-ref* to access the chain
that is in place at the time the exception is thrown. Prevents
unintended undelimited capture of the current exception handler stack
by a delimited "catch".
(%start-stack): Similarly, don't be a chain.
* module/system/repl/debug.scm (frame->stack-vector):
* module/system/repl/error-handling.scm (call-with-error-handling):
* module/ice-9/save-stack.scm (save-stack): Adapt to %stacks not being a
chain.
* test-suite/tests/exceptions.test ("delimited exception handlers"): Add
tests.
* doc/ref/api-control.texi (Fluids and Dynamic States): Add docs.
58 lines
2.1 KiB
Scheme
58 lines
2.1 KiB
Scheme
;;; -*- mode: scheme; coding: utf-8; -*-
|
||
|
||
;;;; Copyright (C) 1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2014
|
||
;;;; Free Software Foundation, Inc.
|
||
;;;;
|
||
;;;; This library 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.
|
||
;;;;
|
||
;;;; This library 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 this library; if not, write to the Free Software
|
||
;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
||
;;;;
|
||
|
||
|
||
|
||
;;; Commentary:
|
||
|
||
;;; An older approack to debugging, in which the user installs a pre-unwind
|
||
;;; handler that saves the stack at the time of the error. The last stack can
|
||
;;; then be debugged later.
|
||
;;;
|
||
|
||
;;; Code:
|
||
|
||
(define-module (ice-9 save-stack)
|
||
;; Replace deprecated root-module bindings, if present.
|
||
#:export (stack-saved?
|
||
the-last-stack
|
||
save-stack))
|
||
|
||
;; FIXME: stack-saved? is broken in the presence of threads.
|
||
(define stack-saved? #f)
|
||
|
||
(define the-last-stack (make-fluid))
|
||
|
||
(define (save-stack . narrowing)
|
||
(if (not stack-saved?)
|
||
(begin
|
||
(let ((stacks (fluid-ref %stacks)))
|
||
(fluid-set! the-last-stack
|
||
;; (make-stack obj inner outer inner outer ...)
|
||
;;
|
||
;; In this case, cut away the make-stack frame, the
|
||
;; save-stack frame, and then narrow as specified by the
|
||
;; user, delimited by the nearest start-stack invocation,
|
||
;; if any.
|
||
(apply make-stack #t
|
||
2
|
||
(if (pair? stacks) (cdr stacks) 0)
|
||
narrowing)))
|
||
(set! stack-saved? #t))))
|