"Kaveh R. GHAZI" <[EMAIL PROTECTED]> writes: > For what is to save developer time, which is way more valuable than cpu > time.
If you are the only person running the compiler, then developer time is far more valuable than CPU time. But tens of thousands of people run the compiler, and they run it many times. The CPU time adds up. This is a trivial example and it doesn't really matter. But, as a general rule, we should not free memory on compiler exit. One reasonable compromise would be to only free the memory if ENABLE_CHECKING is defined. Ian
