From e7d29dee615a9ae4ca3e48725433d333b96f68d4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 18 Dec 2014 08:53:21 -0700 Subject: [PATCH] raco setup: repair clean-up of PLaneT info-domain cache Unintentional shadowing caused the info-domain clean-up code to reject all PLaneT path registrations. As a result, installing a PLaneT package removes all info-domain mappings (used to find documentation, `raco` commands, etc.) for other PLaneT packages. Running `raco setup` repairs the problem, because it re-adds all entries after (incorrectly) clearing them out. --- racket/collects/setup/setup-core.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/racket/collects/setup/setup-core.rkt b/racket/collects/setup/setup-core.rkt index e2c797b2fc..458990d2d9 100644 --- a/racket/collects/setup/setup-core.rkt +++ b/racket/collects/setup/setup-core.rkt @@ -1119,11 +1119,11 @@ [(abs) (and (complete-path? p) (match c - [(list 'planet (? string? a) (? string? p)) + [(list 'planet (? string? a) (? string? pk)) ;; Check that the package is installed and maps to `p`: - (and (get-installed-package a p d e) + (and (get-installed-package a pk d e) (let ([bp (resolve-planet-path - `(planet "bogus.rkt" (,a ,p ,d ,e)))]) + `(planet "bogus.rkt" (,a ,pk ,d ,e)))]) (and (path? bp) (let-values ([(base name dir?) (split-path bp)]) (and (path? base)