[plt-dev] Re: problem with optimistic compilation

Hi,
'regular' applies to me, I think. I use PLT Scheme a rather simple way and nevertheless came accross the same problem. I frequently 
update to the most recent PLT Scheme Full from http://pre.plt-scheme.org/installers/ (option 1). I run my modules by means of 
DrScheme or by means of executables made by DrScheme's menu Scheme/Create Executable. It would be nice to have an option to 
automatically recompile from source in case zo files do not correspond to the correct version, just like they are automatically 
recompiled after the source has been modified.
Jos

----- Original Message ----- 
From: "Matthias Felleisen" <matthias at ccs.neu.edu>
To: "Robby Findler" <robby at eecs.northwestern.edu>
Cc: "PLT Developers" <plt-dev at list.cs.brown.edu>
Sent: Wednesday, August 12, 2009 5:49 PM
Subject: [plt-dev] Re: problem with optimistic compilation


>
> On Aug 12, 2009, at 11:47 AM, Robby Findler wrote:
>
>> Yes, it could. That's the second option I suggested below. I was more
>> conservative, tho, and suggested that it only be turned on with a
>> flag. But perhaps it should be disabled with a flag instead. I think
>> we probably want it off by default for the mzscheme binary, tho, since
>> mzscheme will inprinciple be running in all kinds of places that
>> shouldn't do things like write to the fileysystem.
>
> That's why I said 'use source'.
>
> I like this best. (And yes, I am an svn user and by golly I can get  around this, but I wouldn't be surprised if this could happen 
> to  'regular' people.)
>
> -- Matthias
>
>
>
>
>
>
>>
>> Robby
>>
>> On Wed, Aug 12, 2009 at 10:44 AM, Matthias
>> Felleisen<matthias at ccs.neu.edu> wrote:
>>>
>>> Perhaps I am naive, but could mzscheme just automatically compile  files when
>>> it finds that compiled/ is out of date? or use the source file  instead?
>>>
>>>
>>> On Aug 12, 2009, at 11:42 AM, Robby Findler wrote:
>>>
>>>> I see a few possibilities. I think that this is a problem  specific to
>>>> people who work regularly with SVN, so we can expect such people to
>>>> have extra sophistication:
>>>>
>>>>  - (IMO, the second best option and one that is available now):
>>>> instead of saying "mzscheme file.ss", say "mzc file.ss && mzscheme
>>>> file.ss".
>>>>
>>>>  -  (IMO the best option): mzscheme should get a commandline option
>>>> that amounts to doing the above for you automatically. So intead of
>>>> "mzscheme file.ss" yo'd say "mzscheme --compile-zo file.ss" or
>>>> something.
>>>>
>>>>  - disable automatic compilation in drscheme.
>>>>
>>>>  - (the saddest option): by default, have automatic compilation in
>>>> drscheme turned off by default
>>>>
>>>> Robby
>>>>
>>>> On Wed, Aug 12, 2009 at 9:52 AM, Matthias  Felleisen<matthias at ccs.neu.edu>
>>>> wrote:
>>>>>
>>>>> 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
>>>>>
>>>>>
>>>
>>>
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>