collapse-module-path supports 'quote' paths

svn: r7806
This commit is contained in:
Matthew Flatt 2007-11-21 20:29:15 +00:00
parent 246c14c833
commit b7df0e92d8

View File

@ -130,6 +130,7 @@
[else (loop base (cons name elements))])))))] [else (loop base (cons name elements))])))))]
[(eq? (car s) 'lib) s] [(eq? (car s) 'lib) s]
[(eq? (car s) 'planet) s] [(eq? (car s) 'planet) s]
[(eq? (car s) 'quote) s]
[else #f])) [else #f]))
(define (collapse-module-path-index mpi relto-mp) (define (collapse-module-path-index mpi relto-mp)
@ -146,7 +147,8 @@
(or/c (or/c
(cons/c (symbols 'lib) any/c) (cons/c (symbols 'lib) any/c)
(cons/c (symbols 'file) any/c) (cons/c (symbols 'file) any/c)
(cons/c (symbols 'planet) any/c))) (cons/c (symbols 'planet) any/c)
(cons/c (symbols 'quote) any/c)))
path?)) path?))
(define rel-to-module-path-v/c (define rel-to-module-path-v/c