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