Does somebody know how I can make "Generator" available in Axiom?

I would like to write something like

l: List Integer := [2,3,5,7]
g: Generator := (x for x in l)
s: DataStream(Integer) := stream g

(where DataStream(S) is a type with a function

stream: Generator S -> %

Please don't tell me that it is currently impossible.

Ralf


_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to