|
From: | Ralf Hemmecke |
Subject: | [Axiom-developer] Re: version 107 of trunk |
Date: | Tue, 02 Jan 2007 21:38:09 +0100 |
User-agent: | Thunderbird 1.5.0.9 (X11/20061206) |
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 (trunkr109), 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
[Prev in Thread] | Current Thread | [Next in Thread] |