suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

raco setup: repair clean-up of PLaneT info-domain cache

Browse Source 
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.
This commit is contained in:
Matthew Flatt 2014-12-18 08:53:21 -07:00
parent b05d07ad10
commit e7d29dee61
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
racket/collects/setup/setup-core.rkt
View File

@ -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)