On Wednesday, August 1, 2018 at 8:15:58 AM UTC-5, Matthew Flatt wrote: > > Are the other packages installed in installation scope or user scope? >
That was indeed the problem. I was able to find out the installed packages’ scope through the Package Manager in DrRacket. Removing the packages, changing the default scope from user to installation, and reinstalling then fixed the problem. It looks like I can't migrate packages from older versions of Racket when they aren’t in user scope, which is sad. But that isn’t often needed, and I’ll probably be sticking with 6.12 for a while anyway. Thanks! -- 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.
