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
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
