[bug #31146] continuation barriers may be escaped with prompts

[Andy Wingo]

URL:
  <http://savannah.gnu.org/bugs/?31146>

                 Summary: continuation barriers may be escaped with prompts
                 Project: Guile
            Submitted by: wingo
            Submitted on: Mon Sep 27 20:28:35 2010
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Guile's continuation barriers have a catch-all so they return only once. (We
probably need to support some other form of continuation barriers that allow
local escapes -- as per http://thread.gmane.org/gmane.lisp.scheme.plt/40465 --
but that's another issue.)

Anyway it is possible to do an escape from a continuation barrier with an
abort to a prompt, I think. That should be fixed.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?31146>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/