On Mon, Nov 4, 2019 at 11:47 AM Matthew Flatt <
mfl...@cs.utah.edu> wrote:
>
> At Mon, 4 Nov 2019 11:30:49 -0500, David Storrs wrote:
> > read-compiled-linklet: version mismatch expected: "7.5.0.5" found:
> > "7.5.0.6" in:
> > /Applications/snapshot_Racket_v7.5.0.6/collects/racket/compiled/main_rkt.zo
> >
> > I'm on OSX 10.11.6 if that matters.
>
> I'm not yet able to replicate this problem. Can you say more about
> which installer you downloaded and what command you ran to get that
> error?
Huh, odd.
I downloaded
https://www.cs.utah.edu/plt/snapshots/current/installers/racket-7.5.0.6-x86_64-macosx.dmg
and I was running a bunch of local-built networking code. I had to do
some faffing about to get PLTCOLLECTS and such set up properly, so it
may be a purely my-problem problem.
One thing I did find odd:
$ which raco
/Applications/snapshot_Racket_v7.5.0.6/bin/raco
$ raco pkg install handy
/Applications/snapshot_Racket_v7.5.0.6/bin/raco: Unrecognized command: pkg
Usage: raco <command> <option> ... <arg> ...
Frequently used commands:
docs search and view documentation
make compile source to bytecode
planet manage Planet package installations
exe create executable
test run tests associated with files/directories
A command can be specified by an unambiguous prefix.
See `raco help' for a complete list of commands.
See `raco help <command>' for help on a command.
$ raco help
Usage: raco <command> <option> ... <arg> ...
Frequently used commands:
docs search and view documentation
make compile source to bytecode
planet manage Planet package installations
exe create executable
test run tests associated with files/directories
All available commands:
check-requires check for useless requires
contract-profile profile overhead from contracts
ctool compile and link C-based extensions
decompile decompile bytecode
demodularize produce a whole program from a single module
dependencies-graph opens a GUI window showing transitive module
dependencies (aka `Module Browser')
distribute prepare executable(s) in a directory for distribution
docs search and view documentation
exe create executable
expand macro-expand source
macro-profiler profile macro expansion (code size)
macro-stepper explore expansion steps
make compile source to bytecode
pack pack files/collections into a .plt archive
planet manage Planet package installations
profile profile execution time
read read and pretty-print source
scribble render a Scribble document
show-dependencies show module dependencies
slideshow render a Slideshow document
test run tests associated with files/directories
unpack unpack files/collections from a .plt archive
A command can be specified by an unambiguous prefix.
See `raco help <command>' for help on a command.
This is probably a mistake on my end, and it may fix itself once the
recompile finishes (maybe?) but why would the pkg command be missing?