Mark H Weaver <m...@netris.org> writes: > Call me stubborn, but I _still_ think it would be better to use this > implementation in 2.0.4, and to revert both `syntax-local-binding' and > maybe also `universally-unique gensyms' for now. I'm not opposed to > Andy's approach, but I think we need more time to debate the relevant > interfaces. This way, we have complete freedom to do whatever we want > in 2.0.5 and beyond, without making any hasty commitments.
I am not sure about the strength of the respective dependencies, but let me just say that "universally-unique gensyms" as an idea has a bad ring to me. It makes the output of the compiler non-deterministic. This makes a lot of simple verification methods (like checking that a bootstrapped compiler compiles the same output as its first stage) infeasible. If there are ways to avoid such a heavy-hitting component, that is a definite plus. -- David Kastrup