From b7df0e92d8891324bee76256d7ba3150437ad3a9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 21 Nov 2007 20:29:15 +0000 Subject: [PATCH] collapse-module-path supports 'quote' paths svn: r7806 --- collects/syntax/modcollapse.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/syntax/modcollapse.ss b/collects/syntax/modcollapse.ss index b5ba9af249..7a2de86ac4 100644 --- a/collects/syntax/modcollapse.ss +++ b/collects/syntax/modcollapse.ss @@ -130,6 +130,7 @@ [else (loop base (cons name elements))])))))] [(eq? (car s) 'lib) s] [(eq? (car s) 'planet) s] + [(eq? (car s) 'quote) s] [else #f])) (define (collapse-module-path-index mpi relto-mp) @@ -146,7 +147,8 @@ (or/c (cons/c (symbols 'lib) 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?)) (define rel-to-module-path-v/c