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

prune absolute paths from "info-cache.rktd" files

Browse Source 
They're now stored as relative (if possible), instead of always
as absolute. When transitioning from old paths to new paths,
the old ones need to be purged explicitly.
This commit is contained in:
Matthew Flatt 2013-07-09 10:11:02 -06:00
parent 3990b43b6a
commit fbdff066b8
1 changed files with 15 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
racket/lib/collects/setup/setup-unit.rkt
View File

@ -965,15 +965,25 @@
(info-relative->path p)
(main-lib-relative->path p)))
;; `c' must be `(lib ...)'
(and (list? c)
(and (or (relative-path? p)
;; Keep a complete path only if it could not be
;; made relative:
(and (complete-path? p)
(complete-path?
(find-relative-path info-root
p
#:more-than-root? #t))))
(list? c)
(pair? c)
(eq? 'lib (car c))
(pair? (cdr c))
(andmap string? (cdr c))
;; path must match some cc:
(for/or ([cc (in-list all-collections-closure)])
(equal? p (cc-path cc)))
p))]
(let ([p (simplify-path (path->complete-path p info-root))])
(and
;; path must match some cc:
(for/or ([cc (in-list all-collections-closure)])
(equal? p (cc-path cc)))
p))))]
[(abs)
(and (complete-path? p) p)]))
(if (and dir