New by-need model turned an assertion wrong

Raphael Collet raph at info.ucl.ac.be
Thu Apr 8 10:50:48 CEST 2004


This message is FYI.
Running the example below with Ozcar triggered an assertion:

declare
X={ByNeed fun {$} 1 end}
S={Space.new proc {$ Y} Y=X+1 end}

The assertion was that a space cannot wake up a suspension outside it. 
This assertion is incorrect with the new by-need model.  A space must be
able to make a global variable needed, otherwise you simply get stuck
when loading the FD module, for instance.

The fix was simply to remove the assertion.


Cheers,

raph



More information about the mozart-hackers mailing list