bugGuile - Bugs: bug #30407, exception handler for srfi-18...

 
 

bug #30407: exception handler for srfi-18 exceptions not called in tail context

Submitted by:  Andy Wingo <wingo>
Submitted on:  Sat 10 Jul 2010 04:16:15 PM UTC  
 
Category: NoneSeverity: 3 - Normal
Item Group: NoneStatus: None
Privacy: PublicAssigned to: None
Open/Closed: Open

Add a New Comment (Rich MarkupRich Markup):
   

You are not logged in

Please log in, so followups can be emailed to you.

 

Sat 10 Jul 2010 04:16:15 PM UTC, original submission:

The SRFI-18 spec says:

Primitives and exceptions

When one of the primitives defined in this SRFI raises an exception defined in this SRFI, the exception handler is called with the same continuation as the primitive (i.e. it is a tail call to the exception handler). This requirement avoids having to use call-with-current-continuation to get the same effect in some situations.

However although we do return to the continuation of the primitive, the handler is first invoked from the continuation of the error, not that of the primitive. See the `wrap' procedure around line 250.

Andy Wingo <wingo>
Project Administrator

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by wingo (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    No Changes Have Been Made to This Item

    Back to the top


    Powered by Savane 3.1-cleanup