[Aldor-l] empty Generator?
Ralf Hemmecke
ralf at hemmecke.de
Thu Feb 15 07:14:10 EST 2007
Unfortunately, nobody from the Aldor developers has answered my question.
http://www.aldor.org/pipermail/aldor-l/2007-February/000583.html
Does that mean there are no Aldor developers??? :-(
In the hope there is still somebody listening...
Given g: Generator(Integer). Is it possible to check whether g is empty,
i.e. whether it will generate *no* element? However, I don't want such a
function
empty?: Generator Integer -> Boolean
to modify g. So
g: Generator Integer := generate yield 123;
b: Boolean empty? g;
l: List Integer := [g];
should give
b=false and l=[123].
Ralf
More information about the Aldor-l
mailing list