Thu Apr 23 10:13:45 CEST 2009
compilation state representation
Is it possible to get rid of the parameters in coma? And is this
Who determines what the compilation state is? The compiler.
The real question is, why does the macro evaluator need to know the
internal compiler state? Because it compiles of course.. This is
quite a deep feedback loop that's hard to explicitly propagate outward
for linking resolution.
But.. Since the compiler state are all subtypes (stack < 2stack <
comp), it should be possible to automatically upgrade when necessary.
Fix this later. First get test-comp.ss to run. It's probably more
important to get the parameterization in the compiler to work properly.