[plt-dev] Re: problem with optimistic compilation

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Aug 12 11:49:14 EDT 2009

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
>>>>
>>>>
>>
>>



Posted on the dev mailing list.