On 12/2/2010 9:07 PM, David T. Lewis wrote:
With respect to changing the names to something less whimsical, that's a fair point. However, it effects two classes and a dozen methods in VMMaker, as well as the external gnuify.awk script that has to be in sync with these. Given that we have two significant branches of VMMaker and two branches of the platform sources in need of convergence, this may not be a good time to introduce additional changes that require coordination. Can we do it a few months from now?
Sure can. I wasn't aware that it affected that much stuff; I had hoped that it was a simple renaming.
Cheers, - Andreas