Re: space leak in redefinitions

Jonathan A Rees <[email protected]> writes:

> How will out-of-process compilation work (eg the tethered robot
> system)? The architecture ought to always move toward deeper isolation
> between compile time and run time, making this a synchronization
> issue, not a unification issue. This is hard, so I'll be interested to
> see how you deal with this in a redesign.

The new system completes the separation between compile-time and
run-time to the point where it really only is a matter of dumping out
a package representation.  

How do I know it's complete? Because the new system also has complete
phase separation - structures are re-instantiated (without
recompilation) at each phase of macro expansion.  All of this is working
- I've been working on re-writing all the macro definitions for the new
system to make it all go through.

In the code in the main development repo, Richard in principle separated
compiler and linker (and Martin Gasbichler even did a prototype for
separate compilation), but that code still left many, many small issues.

And you're right, it has been quite hard, and I've been at it for more
than a year.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla