[plt-dev] problem with optimistic compilation
Now that drscheme compiles things behind my back, I am encountering a
new problem al the time.
1. I have a fair number of scripts. Usually I run them with
mzscheme ... or mred ... or it may even have the right Unix
incantations in the file.
2. I also tend to use auxiliary files and my own small private
collects of auxiliaries.
3. On some occasion (I thought it was rare but it happens often
enough since the switch for me to notice) I open these scripts in drs
and run them. Now the aux files are compiled.
4. I regularly update my plt installation from source (say 3-4 times
per week; usually every day).
5. Oops, I can no longer run the scripts because the compiled files
are version n-1.
I'll just stick to describing the problem here, just in case there's
an obvious solution. -- Matthias