[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