[Bug-kawa] [bug #11859] fluid-let misbehaves in upward-only continuation

[Per Bothner]

Update of bug #11859 (project kawa):

                  Status:                 Invalid => Postponed              

    _______________________________________________________

Follow-up Comment #2:

There actually is a reasonable way to handle lexical definitions:
If the compiler sees a fluid-let that rebinds a lexically defined VAR:
(let ((VAR INIT))
  ... VAR ...
  (set! VAR ...)
  (fluid-let ((VAR VAL))
     ... VAR ...)))
it rewrites to use a ThreadLocation.  Expressed using SRFI-39 parameter
objects, this would be:
(let ((VARP (make-parameter INIT)))
  ... (VARP) ...
  (VARP ...)
  (parameterize ((VARP VALUE))
     ... (VARP) ...)))
This isn't much different from the rewrite done when seeing a (location VAR).

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=11859>

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