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

[Gabriel Dos Reis]

"Page, Bill" <Bill.Page at drdc-rddc.gc.ca> writes:

| On Thursday, July 27, 2006 9:51 AM Tim Daly wrote:
| > 
| > Reflection involves inspecting the internal details of a
| > program. A reflection domain would be able to look into other
| > domains for details. A reflection domain would export a set
| > of methods like fetchSignatures.
| > 
| > So how would REFLECT get this information? ...
| 
| Well obviously the compiler has this information when it
| compiles the program but it throws most of it away after the
| compile is done.

Yes.

But, we should aim for an information-preserving compiler.  That
will be good not only for reflection, but also for debug purposes for
example.

-- Gaby