Ooh… yikes. Looking at the code, it looks like PLT files include their own
unpackers? Is this correct? In this case, I understand that this could be a
problem. This also seems like a bad idea; I wouldn’t have expected unpacking to
run potentially untrusted code.
Anyhow, that’s all in the past, IIUC. Probably easiest just to dig up an older
version of Racket to install this .plt file.
John
> On Nov 2, 2017, at 3:46 PM, 'John Clements' via Racket Users
> <racket-users@googlegroups.com> wrote:
>
> I’m surprised by this interaction with raco planet:
>
> % raco planet open ../margrave3-dev-0203.plt .
> cannot install; version (400) of collection ("mzscheme") is required, but
> version <unknown> is installed
> context...:
> /Users/clements/racket/racket/collects/setup/unpack.rkt:408:31: loop
>
> /Users/clements/racket/racket/collects/setup/../racket/private/map.rkt:57:19:
> loop
> /Users/clements/racket/racket/collects/setup/unpack.rkt:274:7
> /Users/clements/racket/racket/share/pkgs/planet-lib/planet/raco.rkt:
> [running body]
> /Users/clements/racket/racket/collects/raco/raco.rkt: [running body]
> /Users/clements/racket/racket/collects/raco/main.rkt: [running body]
> %
>
> Specifically, it appears to me that “open” shouldn’t perform checks
> associated with installation. Before diving into the code for PLaneT…is this
> a bug? Or am I misunderstanding how PLaneT is (was) supposed to work?
>
> Thanks!
>
> John
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
