[Axiom-developer] Re: version 107 of trunk

[Ralf Hemmecke]

On 01/01/2007 10:36 PM, Martin Rubey wrote:
> Ralf Hemmecke <address@hidden> 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