[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Gabriel Dos Reis
Subject: [Axiom-developer] Re: [Aldor-l] exports and constants
Date: 24 Jul 2006 18:09:28 +0200

"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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]