[polyml] Re: Poly/ML codetree generation

2011-03-01 Thread Yue Li
On 03/01/2011 08:37 AM, David Matthews wrote: On 28/02/2011 17:07, Yue Li wrote: On 02/28/2011 07:55 AM, David Matthews wrote: I've added a CodeTree sub-structure to the PolyML structure which makes the codetree available to ML programs. This just passes through the internal construction functi

[polyml] Re: Poly/ML codetree generation

2011-03-01 Thread David Matthews
On 28/02/2011 17:07, Yue Li wrote: On 02/28/2011 07:55 AM, David Matthews wrote: I've added a CodeTree sub-structure to the PolyML structure which makes the codetree available to ML programs. This just passes through the internal construction functions. To build a codetree you just call the cons

[polyml] Re: Poly/ML codetree generation

2011-02-28 Thread Yue Li
On 02/28/2011 07:55 AM, David Matthews wrote: I'm thinking that the next step for me is to call Poly/ML middle functions that would take the codetree and evaluate the entire codetree for a Spad function (and then hopefully a Spad domain.) I've read the code and the documentation in the codetree s

[polyml] Re: Poly/ML codetree generation

2011-02-28 Thread David Matthews
I'm thinking that the next step for me is to call Poly/ML middle functions that would take the codetree and evaluate the entire codetree for a Spad function (and then hopefully a Spad domain.) I've read the code and the documentation in the codetree source code files. Is there any way for me to ca