Re: [Axiom-developer] Asq rewritten

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

| I think I have to reply to Martin's mail.
| 
| I don't have experience with the database, but slightly different from
| what Martin wants, my intensions would go into another direction
| (which are as a first approximation completely independent of
| ALLPROSE).
| 
| The Aldor compiler puts the ++ comments into the .ao files. Using

The old parser (used by the compiler) almost ignores comment -- you
don't see them directly in the parse tree; they are recorded
elsewhere.  The new parser (used by the interpreter) has documentation
as part of the parse tree.

We have made some progress, here in the Parasol Lab, in terms of
understanding the Axiom compiler infrastructure.  We plan to have
Axiom store algebras in formats that are close to the source trees.
Something betwen the "parse forms" and the internal AST that is fed to
compTopLevel for example, but that retained just about anything.  The
new format is of course in addition to the existing ones.

-- Gaby