Re: [Axiom-developer] def.lisp

[Waldek Hebisch]

> root <address@hidden> writes:
> 
> | > | It turns out that (see lines 152, 154of the build-interpsys function
> | > | in util.lisp) there are lists of functions which will trigger
> | > | autoloading of files for a specific purpose.
> | > 
> | > translation comes after parsing, which already autoloaded def.lisp.
> | > 
> | > What am I missing?
> | 
> | You're missing the fact that translation can occur at runtime long
> | after the build system is gone. 
> 
> Which "build system"?
> 
> The translation I'm talking about is the one that happens when the
> system is *used*, i.e. fed with a SPAD file by user.  To get that
> translation done, the parser must have been (auto)loaded.  No?
>
> | This can be done by user commands.
> 
> I know; that is what I'm talking about.
> 
> How can the translation happen without a prior parsing? 
> 

In principle "user" can type-in parse tree by hand and call the translator.
More realistically, one can add code which directly generates Spad like
parse trees and then calls translator to output Aldor.

ATM both are very unlikely to happen, but hardcoding in translator
dependence on parser looks bad. 


-- 
                              Waldek Hebisch
address@hidden