diff --git a/collects/setup/setup-unit.rkt b/collects/setup/setup-unit.rkt index 74025617b6..040ea987b7 100644 --- a/collects/setup/setup-unit.rkt +++ b/collects/setup/setup-unit.rkt @@ -188,7 +188,9 @@ ;; this check is also done in compiler/compiler-unit, in compile-directory (and (not (eq? 'all (omitted-paths path getinfo))) (make-cc collection path - (if name (string-append path-name " (" name ")") path-name) + (if name + (format "~a (~a)" path-name name) + path-name) info root-dir info-path shadowing-policy))) (define ((warning-handler v) exn)