[ sisc-Bugs-1453863 ] error-k too shallow due to optimisation

Bugs item #1453863, was opened at 2006-03-19 15:35
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=379534&aid=1453863&group_id=23735

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 6
Submitted By: Matthias Radestock (mradestock)
Assigned to: Nobody/Anonymous (nobody)
Summary: error-k too shallow due to optimisation

Initial Comment:
Our optimistic optimisation framework causes error
continuations to be too shallow:

SISC (1.13.0-alpha)
#;> 
(with/fc
    (lambda (m e) (e 1))
  (lambda () (+ (/ 1 0) 1)))
1

The above should have returned 2 instead of 1.

This makes resumption of computation by calling the
error-k pretty much impossible since one cannot easily
predict how the code gets optimised and hence where the
error k was actually captured.

I reckon we can fix this by reverting the optimisations
when we get an error.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=379534&aid=1453863&group_id=23735


-------------------------------------------------------
This SF.Net email is sponsored by xPML, a groundbreaking scripting language
that extends applications into web and mobile media. Attend the live webcast
and join the prime developer group breaking into this new coding territory!
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=110944&bid=241720&dat=121642