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

[Per Bothner]

Update of bugs #11859 (project kawa):

                  Status:                    None => Invalid                
             Assigned to:                    None => bothner                

    _______________________________________________________

Follow-up Comment #1:

I don't buy this.  I think Dybvig and I have different concepts of fluid-let.
 In Kawa fluid-let modifies the *dynamic* environment.  The function f
accesses the lexically defined x, bound to 'a.  The fluid-let modifies the
*global* x.

Dybvig's fluid-let is a macro that saves and restores whatever variables is
in the macro-time scope, so the code happens to work.  But what happens if yo
have multiple threads?  Especially tricky i what happens in threads inherit
bindings, as they do in Kawa.

I'm not saying we couldn't make the test-case well-defined. However, I don't
know how to do that and still have the behavior Kawa supports for nested
threads (futures).

    _______________________________________________________

This item URL is:

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

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