[Axiom-developer] aldor stream oddities

[Franz Lehner]

Hello,

is there a way to get hold of generate$Stream using the aldor compiler?
I spent quite some time until figuring out that generate is probably
a keyword in aldor (I could not check as the aldor site seems to be down)
and this causes strange error messages.
The following two snippets do not work, note that the second leads to a 
segfault:

=================================================
#include "axiom"

teststream: with {
        zerostream:()->Stream Integer;
} == add {
        zerostream():Stream Integer == {
                import from Integer;
                generate((x:Integer):Integer +-> address@hidden,address@hidden);
}
}
=================================================
aldor -Fasy -Fao -Flsp  -laxiom -DAxiom 
-Y/home/lehner/usr/local/lib/wh-sandbox_s1/target/x86_64-unknown-linux/algebra 
test1.as
"test1.as", line 8:
                generate((x:Integer):Integer +-> address@hidden,address@hidden);
.........................^
[L8 C26] #1 (Error) Have determined 1 possible types for the expression.
        Meaning 1: (x: Integer) -> Integer, Integer
  The context requires an expression of type Stream(Integer).

make: *** [test.ao] Fehler 1

=========================================================
#include "axiom"

teststream: with {
        zerostream:()->Stream Integer;
} == add {
        zerostream():Stream Integer == {
                import from Integer;
                generate(():Integer +-> address@hidden);
}
}
=========================================================
aldor -Fasy -Fao -Flsp  -laxiom -DAxiom 
-Y/home/lehner/usr/local/lib/wh-sandbox_s1/target/x86_64-unknown-linux/algebra 
test2.as
Program fault (segmentation violation).#3 (Error) Program fault 
(segmentation violation).
"test2.as", line 6:         zerostream():Stream Integer == {
                   .......................................^
[L6 C40] #1 (Error) Have determined 0 possible types for the expression.
  Subexpression `import from Integer':
        Meaning 1: (0 types)

"test.as", line 9:                 generate(():Integer +-> address@hidden);
                   .........................^
[L9 C26] #2 (Error) Have determined 0 possible types for the expression.

make: *** [test.ao] Fehler 1

regards,
Franz