On 01/01/2007 10:36 PM, Martin Rubey wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
I have seen your definitions of Partial and Generator before, but I am not
quite sure whether they are needed.
Yes, I need them, since I don't want to create all the 848456353 binary
forests
at once.
Actually, that doesn't mean that you have to define Partial or Generator.
If you look more closely, you use "extend Generator" in axcombat2.as (trunk
r109), i.e. Generator is already existing.
Well, yes and no. Generator exists only in libaldor. extending Generator makes
it visible to axiom.
That is interesting. But it only says that you cannot assign a Generator
object to a variable (I believe). However, try the following code with
%axiom
)co aaa.as
l: List Integer := [2,3,5]
neg gen l
---BEGIN aaa.as
#include "axiom"
PkgA: with {
gen: List Integer -> Generator Integer;
neg: Generator Integer -> List List Integer;
} == add {
gen(l: List Integer): Generator Integer == generator l;
neg(g: Generator Integer): List List Integer == {
import from List Integer;
[[x] for x in g];
}
}
---END aaa.as
Ralf
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
