[racket-dev] planet-version follies with old planet packages

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon May 16 19:21:24 EDT 2011

It would be helpful if you supplied a little more information on how
you're seeing the problem, at least. I guess there is a second package
involved?

Robby

On Mon, May 16, 2011 at 6:12 PM, John Clements
<clements at brinckerhoff.org> wrote:
>
> On May 15, 2011, at 6:24 AM, Robby Findler wrote:
>
>> On Sun, May 15, 2011 at 7:50 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
>>> At Sat, 14 May 2011 20:58:53 -0700, John Clements wrote:
>>>> I've been having trouble with an older PLaneT package, and I've finally
>>>> narrowed it down to a problem with the change in version-numberings.
>>>>
>>>> Specifically, I install Jens Soegaard's gzip.plt package (which installs all
>>>> right), and then I can't use it.  The problem turns out to be that planet won't
>>>> let me run it, because it thinks that the required & provided versions of
>>>> racket are
>>>>
>>>> #(struct:mz-version 40000 0)
>>>> #(struct:mz-version 501 1005)
>>>>
>>>> ... so I just need to wait for version 400.00 to come out!
>>>>
>>>> I see how I can hack around this problem by editing the required-version in the
>>>> info.ss file, but if I'm correct, this means that no planet packages that
>>>> precede the version-numbering change can be used.  It seems hard to believe
>>>> that this wouldn't have been noticed, though, so perhaps I'm wrong...
>>>
>>> The version number change happened on February 4, but we decided that
>>> it was a bad idea, and it was reverted on March 28. So, the version was
>>> 400 for all releases, and it's still 400.
>>>
>>> It's possible that some planet packages were created with a pre-release
>>> version in between 2/4 and 3/28, in which case those need to be fixed.
>>> I don't think that's the case for "gzip.plt", though.
>>>
>>> It sounds instead like you're using a pre-release version of Racket
>>> from between 2/4 and 3/28. Is that right? If so, the solution would be
>>> to upgrade.
>>
>> One other possible wrinkle here is that planet may be doing its own
>> computation instead of using the version libraries (as the planet
>> version checking mechanism pre-dates the version library, I believe),
>> so there could also be a bug there.
>
> Yes, I still observe this problem on version 5.1.1.5.  Should PLaneT be using the version collection?
>
> Let me know if you want me to do more detective work on this.
>
> John



Posted on the dev mailing list.