[plt-dev] Re: problem with optimistic compilation

On Wed, Aug 12, 2009 at 10:49 AM, Matthias
Felleisen<matthias at ccs.neu.edu> wrote:
>
> 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 have no idea what this means.

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

This will happen to people who switch versions, so yeah, you're probably right.

Perhaps mzscheme should not signal errors for .zo files that are the
wrong verison, but instead just ignore them?

Robby

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