[Axiom-developer] Re: [Aldor-l] exports and constants

[Gabriel Dos Reis]

"Bill Page" <address@hidden> writes:

| On July 24, 2006 11:40 AM Tim Daly wrote:
| > 
| > you can see what Aldor is doing by asking it to print the
| > generated lisp code.
| 
| Of course one can try to analyze the generated code, but if the
| definition of the language is adequate there should never be a
| need to do this.

Strongly agreed.

We should be at the point where, we have the definition of the
language on one hand, what the compiler does on the other hand, and
check whether it is the language that is defined that way or whether
the compiler has a bug. 

-- Gaby