Greetings! Just a note -- --enable-debug on axiom-developer.org is
carrying the build past nrunfast. WIll try with gcc optimization
tomorrow.
Take care,
--
Camm Maguire[EMAIL PROTECTED]
=
On Thu, 2 Aug 2007, [EMAIL PROTECTED] wrote:
| Gaby writes:
| > I fully agree
|
| Documentation! Excellent! Where?
I must also note that a subset of Spad is also documented in the
ISSAC paper (Tim, I know you know it, this is just general information).
Andrew -- I'll answer your request by tomo
On Thu, 2 Aug 2007, [EMAIL PROTECTED] wrote:
| Where?
Partly on my development machine, partly in my mind.
We were planning to submit the documentation along with the
algebras -- we developed a typed representation of Spad
programs (In Spad).
-- Gaby
__
Bill writes:
>> I hope this is a sufficiently technical issue that it is possible to
>> reach an agreement. Is it possible now to use "the compiler components
>> in the form of a library which can be used by other aspects Axiom"?
Gaby writes:
> Not only, it is possible, but it has been done
Bill
On Thu, 2 Aug 2007, Bill Page wrote:
| > It accepts one AST, not two.
|
| Do you mean that only one of the two existing parsers can be used with SPAD?
Both parsers are used. The new parser is used by the interpreter, and the pld
parser is used by the old compiler. It is also possible to have t
Perviously Stephen Wilson wrote:
| There is also the question of being able to provide the compiler
| components in the form of a library which can be used by other aspects
| Axiom. For example, one would be able to use the new parser and
| (forthcoming) type checker to support an IDE.
Previ
Camm Maguire <[EMAIL PROTECTED]> writes:
> Greetings, and thanks! Will look at your tree
Great!
> Mine just got this, in layer 18:
>
> compiling QUATCAT.spad to QUATCAT.nrlib
> copying QUATCAT.nrlib to QUATCAT.o
> cp: cannot stat `/fix/t1/camm/axiom/int/algebra/QUATCAT.nrlib/code.o': No
>
Greetings, and thanks! Will look at your tree
Mine just got this, in layer 18:
compiling QUATCAT.spad to QUATCAT.nrlib
copying QUATCAT.nrlib to QUATCAT.o
cp: cannot stat `/fix/t1/camm/axiom/int/algebra/QUATCAT.nrlib/code.o': No such
file or directory
make[3]: *** [/fix/t1/camm/axiom/mnt/lin
Camm Maguire <[EMAIL PROTECTED]> writes:
> Greetings!
>
> Stephen Wilson <[EMAIL PROTECTED]> writes:
>
> > Hello Camm,
> >
> > I am interested in your opinion about the following error, which is
> > occurring for me during the compilation of src/algebra/tree.spad:
> >
> > ---
> > Error:
Hi Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> >> Could you demonstrate some SPAD-code-to-be which uses continuations
> >> and solves a problem that cannot be solved easily by an Aldor
> >> equivalent?
> > I am not to sure what you want me to g
Greetings!
Stephen Wilson <[EMAIL PROTECTED]> writes:
> Hello Camm,
>
> I am interested in your opinion about the following error, which is
> occurring for me during the compilation of src/algebra/tree.spad:
>
> ---
> Error:
> Fast links are on: do (si::use-fast-links nil) for debugging
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
Could you demonstrate some SPAD-code-to-be which uses continuations
and solves a problem that cannot be solved easily by an Aldor
equivalent?
I am not to sure what you want me to give. Writing a lot of pseudo
code is not terribly useful in all cases.
Hi Ralf,
The idea of exploring the use of continuations came about as a result
of considering that there is high probability it could be used at the
algebra level to implement provisos in a natural way.
It was further motivated by the possibility of representing SPAD
programs in Continuation Pass
Hi Stephen,
Another example is Aldors generators. It is planned that these will
be supported in the new SPAD as a special case of continuations.
Thus, generators in SPAD will become an algebra item, not a builtin.
Could you demonstrate some SPAD-code-to-be which uses continuations and
solves
14 matches
Mail list logo
