0.7.11.2:
[sbcl.git] / src / code / target-pathname.lisp
index 39dadfb..6ae6f41 100644 (file)
 
 #!-sb-fluid (declaim (freeze-type logical-pathname logical-host))
 \f
-;;; host methods
-
-(def!method print-object ((host host) stream)
-  (print-unreadable-object (host stream :type t :identity t)))
+;;;; UNIX-HOST stuff
+
+(def!struct (unix-host
+            (:make-load-form-fun make-unix-host-load-form)
+            (:include host
+                      (parse #'parse-unix-namestring)
+                      (unparse #'unparse-unix-namestring)
+                      (unparse-host #'unparse-unix-host)
+                      (unparse-directory #'unparse-unix-directory)
+                      (unparse-file #'unparse-unix-file)
+                      (unparse-enough #'unparse-unix-enough)
+                      (customary-case :lower))))
+
+(defvar *unix-host* (make-unix-host))
+
+(defun make-unix-host-load-form (host)
+  (declare (ignore host))
+  '*unix-host*)
+
+;;; Return a value suitable, e.g., for preinitializing
+;;; *DEFAULT-PATHNAME-DEFAULTS* before *DEFAULT-PATHNAME-DEFAULTS* is
+;;; initialized (at which time we can't safely call e.g. #'PATHNAME).
+(defun make-trivial-default-pathname ()
+  (%make-pathname *unix-host* nil nil nil nil :newest))
 \f
 ;;; pathname methods
 
                      (error nil))))
     (if namestring
        (format stream "#P~S" namestring)
-       ;; FIXME: This code was rewritten and should be tested. (How does
-       ;; control get to this case anyhow? Perhaps we could just punt it?)
        (print-unreadable-object (pathname stream :type t)
          (format stream
-                 "(with no namestring) :HOST ~S :DEVICE ~S :DIRECTORY ~S ~
-                 :NAME ~S :TYPE ~S :VERSION ~S"
+                 "~@<(with no namestring) ~_:HOST ~S ~_:DEVICE ~S ~_:DIRECTORY ~S ~
+                 ~_:NAME ~S ~_:TYPE ~S ~_:VERSION ~S~:>"
                  (%pathname-host pathname)
                  (%pathname-device pathname)
                  (%pathname-directory pathname)
   (let ((namestring (handler-case (namestring pathname)
                      (error nil))))
     (if namestring
-       (format stream "#.(logical-pathname ~S)" namestring)
+       (format stream "#.(CL:LOGICAL-PATHNAME ~S)" namestring)
        (print-unreadable-object (pathname stream :type t)
-         (format stream
-                 ":HOST ~S :DIRECTORY ~S :FILE ~S :NAME=~S :VERSION ~S"
-                 (%pathname-host pathname)
-                 (%pathname-directory pathname)
-                 (%pathname-name pathname)
-                 (%pathname-type pathname)
-                 (%pathname-version pathname))))))
+         (format
+          stream
+          "~_:HOST ~S ~_:DIRECTORY ~S ~_:FILE ~S ~_:NAME ~S ~_:VERSION ~S"
+          (%pathname-host pathname)
+          (%pathname-directory pathname)
+          (%pathname-name pathname)
+          (%pathname-type pathname)
+          (%pathname-version pathname))))))
 \f
 ;;; A pathname is logical if the host component is a logical host.
 ;;; This constructor is used to make an instance of the correct type
@@ -70,7 +89,7 @@
   ;; but the arguments given in the X3J13 cleanup issue
   ;; PATHNAME-LOGICAL:ADD seem compelling: we should canonicalize the
   ;; case, and uppercase is the ordinary way to do that.
-  (flet ((upcase-maybe (x) (typecase x (string (string-upcase x)) (t x))))
+  (flet ((upcase-maybe (x) (typecase x (string (logical-word-or-lose x)) (t x))))
     (if (typep host 'logical-host)
        (%make-logical-pathname host
                                :unspecific
   (let ((pieces1 (pattern-pieces pattern1))
        (pieces2 (pattern-pieces pattern2)))
     (and (= (length pieces1) (length pieces2))
-        (every #'(lambda (piece1 piece2)
-                   (typecase piece1
-                     (simple-string
-                      (and (simple-string-p piece2)
-                           (string= piece1 piece2)))
-                     (cons
-                      (and (consp piece2)
-                           (eq (car piece1) (car piece2))
-                           (string= (cdr piece1) (cdr piece2))))
-                     (t
-                      (eq piece1 piece2))))
+        (every (lambda (piece1 piece2)
+                 (typecase piece1
+                   (simple-string
+                    (and (simple-string-p piece2)
+                         (string= piece1 piece2)))
+                   (cons
+                    (and (consp piece2)
+                         (eq (car piece1) (car piece2))
+                         (string= (cdr piece1) (cdr piece2))))
+                   (t
+                    (eq piece1 piece2))))
                pieces1
                pieces2))))
 
-;;; If the string matches the pattern returns the multiple values T and a
-;;; list of the matched strings.
+;;; If the string matches the pattern returns the multiple values T
+;;; and a list of the matched strings.
 (defun pattern-matches (pattern string)
   (declare (type pattern pattern)
           (type simple-string string))
            (,pathname (etypecase ,pd0
                         (pathname ,pd0)
                         (string (parse-namestring ,pd0))
-                        (stream (file-name ,pd0)))))
+                        (file-stream (file-name ,pd0)))))
        ,@body)))
 
 ;;; Convert the var, a host or string name for a host, into a
                              (simple-string
                               (check-for pred piece))
                              (cons
-                              (case (car in)
+                              (case (car piece)
                                 (:character-set
-                                 (check-for pred (cdr in))))))
+                                 (check-for pred (cdr piece))))))
                        (return t))))
                   (list
                    (dolist (x in)
                 (typecase thing
                   (pattern
                    (make-pattern
-                    (mapcar #'(lambda (piece)
-                                (typecase piece
-                                  (simple-base-string
-                                   (funcall fun piece))
-                                  (cons
-                                   (case (car piece)
-                                     (:character-set
-                                      (cons :character-set
-                                            (funcall fun (cdr piece))))
-                                     (t
-                                      piece)))
-                                  (t
-                                   piece)))
+                    (mapcar (lambda (piece)
+                              (typecase piece
+                                (simple-base-string
+                                 (funcall fun piece))
+                                (cons
+                                 (case (car piece)
+                                   (:character-set
+                                    (cons :character-set
+                                          (funcall fun (cdr piece))))
+                                   (t
+                                    piece)))
+                                (t
+                                 piece)))
                             (pattern-pieces thing))))
                   (list
                    (mapcar fun thing))
        (let ((any-uppers (check-for #'upper-case-p thing))
              (any-lowers (check-for #'lower-case-p thing)))
          (cond ((and any-uppers any-lowers)
-                ;; Mixed case, stays the same.
+                ;; mixed case, stays the same
                 thing)
                (any-uppers
-                ;; All uppercase, becomes all lower case.
-                (diddle-with #'(lambda (x) (if (stringp x)
-                                               (string-downcase x)
-                                               x)) thing))
+                ;; all uppercase, becomes all lower case
+                (diddle-with (lambda (x) (if (stringp x)
+                                             (string-downcase x)
+                                             x)) thing))
                (any-lowers
-                ;; All lowercase, becomes all upper case.
-                (diddle-with #'(lambda (x) (if (stringp x)
-                                               (string-upcase x)
-                                               x)) thing))
+                ;; all lowercase, becomes all upper case
+                (diddle-with (lambda (x) (if (stringp x)
+                                             (string-upcase x)
+                                             x)) thing))
                (t
-                ;; No letters?  I guess just leave it.
+                ;; no letters?  I guess just leave it.
                 thing))))
       thing))
 
     ((member :unspecific) '(:relative))
     (list
      (collect ((results))
-       (ecase (pop directory)
-        (:absolute
-         (results :absolute)
-         (when (search-list-p (car directory))
-           (results (pop directory))))
-        (:relative
-         (results :relative)))
+       (results (pop directory))
        (dolist (piece directory)
         (cond ((member piece '(:wild :wild-inferiors :up :back))
                (results piece))
   #!+sb-doc
   "Makes a new pathname from the component arguments. Note that host is
 a host-structure or string."
-  (declare (type (or string host component-tokens) host)
-          (type (or string component-tokens) device)
-          (type (or list string pattern component-tokens) directory)
-          (type (or string pattern component-tokens) name type)
-          (type (or integer component-tokens (member :newest)) version)
+  (declare (type (or string host pathname-component-tokens) host)
+          (type (or string pathname-component-tokens) device)
+          (type (or list string pattern pathname-component-tokens) directory)
+          (type (or string pattern pathname-component-tokens) name type)
+          (type (or integer pathname-component-tokens (member :newest))
+                version)
           (type (or pathname-designator null) defaults)
           (type (member :common :local) case))
   (let* ((defaults (when defaults
@@ -465,11 +479,11 @@ a host-structure or string."
         (default-host (if defaults
                           (%pathname-host defaults)
                           (pathname-host *default-pathname-defaults*)))
-        ;; toy@rtp.ericsson.se: CLHS says make-pathname can take a
+        ;; Raymond Toy writes: CLHS says make-pathname can take a
         ;; string (as a logical-host) for the host part. We map that
         ;; string into the corresponding logical host structure.
         ;;
-        ;; pw@snoopy.mv.com:
+        ;; Paul Werkowski writes:
         ;; HyperSpec says for the arg to MAKE-PATHNAME;
         ;; "host---a valid physical pathname host. ..."
         ;; where it probably means -- a valid pathname host.
@@ -485,6 +499,7 @@ a host-structure or string."
         ;; It seems an error message is appropriate.
         (host (typecase host
                 (host host)            ; A valid host, use it.
+                ((string 0) *unix-host*) ; "" cannot be a logical host
                 (string (find-logical-host host t)) ; logical-host or lose.
                 (t default-host)))     ; unix-host
         (diddle-args (and (eq (host-customary-case host) :lower)
@@ -527,7 +542,7 @@ a host-structure or string."
 
 (defun pathname-host (pathname &key (case :local))
   #!+sb-doc
-  "Accessor for the pathname's host."
+  "Return PATHNAME's host."
   (declare (type pathname-designator pathname)
           (type (member :local :common) case)
           (values host)
@@ -537,7 +552,7 @@ a host-structure or string."
 
 (defun pathname-device (pathname &key (case :local))
   #!+sb-doc
-  "Accessor for pathname's device."
+  "Return PATHNAME's device."
   (declare (type pathname-designator pathname)
           (type (member :local :common) case))
   (with-pathname (pathname pathname)
@@ -549,7 +564,7 @@ a host-structure or string."
 
 (defun pathname-directory (pathname &key (case :local))
   #!+sb-doc
-  "Accessor for the pathname's directory list."
+  "Return PATHNAME's directory."
   (declare (type pathname-designator pathname)
           (type (member :local :common) case))
   (with-pathname (pathname pathname)
@@ -560,7 +575,7 @@ a host-structure or string."
                                :lower)))))
 (defun pathname-name (pathname &key (case :local))
   #!+sb-doc
-  "Accessor for the pathname's name."
+  "Return PATHNAME's name."
   (declare (type pathname-designator pathname)
           (type (member :local :common) case))
   (with-pathname (pathname pathname)
@@ -572,7 +587,7 @@ a host-structure or string."
 
 (defun pathname-type (pathname &key (case :local))
   #!+sb-doc
-  "Accessor for the pathname's name."
+  "Return PATHNAME's type."
   (declare (type pathname-designator pathname)
           (type (member :local :common) case))
   (with-pathname (pathname pathname)
@@ -584,13 +599,48 @@ a host-structure or string."
 
 (defun pathname-version (pathname)
   #!+sb-doc
-  "Accessor for the pathname's version."
+  "Return PATHNAME's version."
   (declare (type pathname-designator pathname))
   (with-pathname (pathname pathname)
     (%pathname-version pathname)))
 \f
 ;;;; namestrings
 
+;;; Handle the case for PARSE-NAMESTRING parsing a potentially
+;;; syntactically valid logical namestring with an explicit host.
+;;;
+;;; This then isn't fully general -- we are relying on the fact that
+;;; we will only pass to parse-namestring namestring with an explicit
+;;; logical host, so that we can pass the host return from
+;;; parse-logical-namestring through to %PARSE-NAMESTRING as a truth
+;;; value. Yeah, this is probably a KLUDGE - CSR, 2002-04-18
+(defun parseable-logical-namestring-p (namestr start end)
+  (catch 'exit
+    (handler-bind
+       ((namestring-parse-error (lambda (c)
+                                  (declare (ignore c))
+                                  (throw 'exit nil))))
+      (let ((colon (position #\: namestr :start start :end end)))
+       (when colon
+         (let ((potential-host
+                (logical-word-or-lose (subseq namestr start colon))))
+           ;; depending on the outcome of CSR comp.lang.lisp post
+           ;; "can PARSE-NAMESTRING create logical hosts", we may need
+           ;; to do things with potential-host (create it
+           ;; temporarily, parse the namestring and unintern the
+           ;; logical host potential-host on failure.
+           (declare (ignore potential-host))
+           (let ((result
+                  (handler-bind
+                      ((simple-type-error (lambda (c)
+                                            (declare (ignore c))
+                                            (throw 'exit nil))))
+                    (parse-logical-namestring namestr start end))))
+             ;; if we got this far, we should have an explicit host
+             ;; (first return value of parse-logical-namestring)
+             (aver result)
+             result)))))))
+
 ;;; Handle the case where PARSE-NAMESTRING is actually parsing a
 ;;; namestring. We pick off the :JUNK-ALLOWED case then find a host to
 ;;; use for parsing, call the parser, then check whether the host matches.
@@ -604,16 +654,45 @@ a host-structure or string."
          (%parse-namestring namestr host defaults start end nil)
        (namestring-parse-error (condition)
          (values nil (namestring-parse-error-offset condition))))
-      (let* ((end (or end (length namestr)))
-            (parse-host (or host
-                            (extract-logical-host-prefix namestr start end)
-                            (pathname-host defaults))))
-       (unless parse-host
-         (error "When no HOST argument is supplied, the DEFAULTS argument ~
-                 must have a non-null PATHNAME-HOST."))
-
+      (let* ((end (or end (length namestr))))
        (multiple-value-bind (new-host device directory file type version)
-           (funcall (host-parse parse-host) namestr start end)
+           ;; Comments below are quotes from the HyperSpec
+           ;; PARSE-NAMESTRING entry, reproduced here to demonstrate
+           ;; that we actually have to do things this way rather than
+           ;; some possibly more logical way. - CSR, 2002-04-18
+           (cond
+             ;; "If host is a logical host then thing is parsed as a
+             ;; logical pathname namestring on the host."
+             (host (funcall (host-parse host) namestr start end))
+             ;; "If host is nil and thing is a syntactically valid
+             ;; logical pathname namestring containing an explicit
+             ;; host, then it is parsed as a logical pathname
+             ;; namestring."
+             ((parseable-logical-namestring-p namestr start end)
+              (parse-logical-namestring namestr start end))
+             ;; "If host is nil, default-pathname is a logical
+             ;; pathname, and thing is a syntactically valid logical
+             ;; pathname namestring without an explicit host, then it
+             ;; is parsed as a logical pathname namestring on the
+             ;; host that is the host component of default-pathname."
+             ;;
+             ;; "Otherwise, the parsing of thing is
+             ;; implementation-defined."
+             ;;
+             ;; Both clauses are handled here, as the default
+             ;; *DEFAULT-PATHNAME-DEFAULTS has a SB-IMPL::UNIX-HOST
+             ;; for a host.
+             ((pathname-host defaults)
+              (funcall (host-parse (pathname-host defaults))
+                       namestr
+                       start
+                       end))
+             ;; I don't think we should ever get here, as the default
+             ;; host will always have a non-null HOST, given that we
+             ;; can't create a new pathname without going through
+             ;; *DEFAULT-PATHNAME-DEFAULTS*, which has a non-null
+             ;; host...
+             (t (bug "Fallen through COND in %PARSE-NAMESTRING")))
          (when (and host new-host (not (eq new-host host)))
            (error 'simple-type-error
                   :datum new-host
@@ -629,7 +708,7 @@ a host-structure or string."
                   "The host in the namestring, ~S,~@
                    does not match the explicit HOST argument, ~S."
                   :format-arguments (list new-host host)))
-         (let ((pn-host (or new-host parse-host)))
+         (let ((pn-host (or new-host host (pathname-host defaults))))
            (values (%make-maybe-logical-pathname
                     pn-host device directory file type version)
                    end))))))
@@ -683,6 +762,12 @@ a host-structure or string."
   ;; A logical host is an object of implementation-dependent nature. In
   ;; SBCL, it's a member of the HOST class (a subclass of STRUCTURE-OBJECT).
   (let ((found-host (etypecase host
+                     ((string 0)
+                      ;; This is a special host. It's not valid as a
+                      ;; logical host, so it is a sensible thing to
+                      ;; designate the physical Unix host object. So
+                      ;; we do that.
+                      *unix-host*)
                      (string
                       ;; In general ANSI-compliant Common Lisps, a
                       ;; string might also be a physical pathname host,
@@ -742,7 +827,7 @@ a host-structure or string."
 
 (defun host-namestring (pathname)
   #!+sb-doc
-  "Returns a string representation of the name of the host in the pathname."
+  "Return a string representation of the name of the host in the pathname."
   (declare (type pathname-designator pathname)
           (values (or null simple-base-string)))
   (with-pathname (pathname pathname)
@@ -755,7 +840,7 @@ a host-structure or string."
 
 (defun directory-namestring (pathname)
   #!+sb-doc
-  "Returns a string representation of the directories used in the pathname."
+  "Return a string representation of the directories used in the pathname."
   (declare (type pathname-designator pathname)
           (values (or null simple-base-string)))
   (with-pathname (pathname pathname)
@@ -768,7 +853,7 @@ a host-structure or string."
 
 (defun file-namestring (pathname)
   #!+sb-doc
-  "Returns a string representation of the name used in the pathname."
+  "Return a string representation of the name used in the pathname."
   (declare (type pathname-designator pathname)
           (values (or null simple-base-string)))
   (with-pathname (pathname pathname)
@@ -783,7 +868,7 @@ a host-structure or string."
                          &optional
                          (defaults *default-pathname-defaults*))
   #!+sb-doc
-  "Returns an abbreviated pathname sufficent to identify the pathname relative
+  "Return an abbreviated pathname sufficent to identify the pathname relative
    to the defaults."
   (declare (type pathname-designator pathname))
   (with-pathname (pathname pathname)
@@ -827,7 +912,7 @@ a host-structure or string."
   (declare (type pathname-designator in-pathname))
   (with-pathname (pathname in-pathname)
     (with-pathname (wildname in-wildname)
-      (macrolet ((frob (field &optional (op 'components-match ))
+      (macrolet ((frob (field &optional (op 'components-match))
                   `(or (null (,field wildname))
                        (,op (,field pathname) (,field wildname)))))
        (and (or (null (%pathname-host wildname))
@@ -847,7 +932,7 @@ a host-structure or string."
 (defun substitute-into (pattern subs diddle-case)
   (declare (type pattern pattern)
           (type list subs)
-          (values (or simple-base-string pattern)))
+          (values (or simple-base-string pattern) list))
   (let ((in-wildcard nil)
        (pieces nil)
        (strings nil))
@@ -936,7 +1021,7 @@ a host-structure or string."
     (collect ((subs))
       (loop
        (unless source
-         (unless (every #'(lambda (x) (eq x :wild-inferiors)) from)
+         (unless (every (lambda (x) (eq x :wild-inferiors)) from)
            (didnt-match-error orig-source orig-from))
          (subs ())
          (return))
@@ -1000,14 +1085,14 @@ a host-structure or string."
          (dolist (to-part (rest to))
            (typecase to-part
              ((member :wild)
-              (assert subs-left)
+              (aver subs-left)
               (let ((match (pop subs-left)))
                 (when (listp match)
                   (error ":WILD-INFERIORS is not paired in from and to ~
                           patterns:~%  ~S ~S" from to))
                 (res (maybe-diddle-case match diddle-case))))
              ((member :wild-inferiors)
-              (assert subs-left)
+              (aver subs-left)
               (let ((match (pop subs-left)))
                 (unless (listp match)
                   (error ":WILD-INFERIORS not paired in from and to ~
@@ -1053,189 +1138,24 @@ a host-structure or string."
               (frob %pathname-type)
               (frob %pathname-version))))))))
 \f
-;;;; search lists
-
-(def!struct (search-list (:make-load-form-fun
-                         (lambda (s)
-                           (values `(intern-search-list
-                                     ',(search-list-name s))
-                                   nil))))
-  ;; The name of this search-list. Always stored in lowercase.
-  (name (required-argument) :type simple-string)
-  ;; T if this search-list has been defined. Otherwise NIL.
-  (defined nil :type (member t nil))
-  ;; the list of expansions for this search-list. Each expansion is
-  ;; the list of directory components to use in place of this
-  ;; search-list.
-  (expansions nil :type list))
-(def!method print-object ((sl search-list) stream)
-  (print-unreadable-object (sl stream :type t)
-    (write-string (search-list-name sl) stream)))
-
-;;; a hash table mapping search-list names to search-list structures
-(defvar *search-lists* (make-hash-table :test 'equal))
-
-;;; When search-lists are encountered in namestrings, they are
-;;; converted to search-list structures right then, instead of waiting
-;;; until the search list used. This allows us to verify ahead of time
-;;; that there are no circularities and makes expansion much quicker.
-(defun intern-search-list (name)
-  (let ((name (string-downcase name)))
-    (or (gethash name *search-lists*)
-       (let ((new (make-search-list :name name)))
-         (setf (gethash name *search-lists*) new)
-         new))))
-
-;;; Clear the definition. Note: we can't remove it from the hash-table
-;;; because there may be pathnames still refering to it. So we just
-;;; clear out the expansions and ste defined to NIL.
-(defun clear-search-list (name)
-  #!+sb-doc
-  "Clear the current definition for the search-list NAME. Returns T if such
-   a definition existed, and NIL if not."
-  (let* ((name (string-downcase name))
-        (search-list (gethash name *search-lists*)))
-    (when (and search-list (search-list-defined search-list))
-      (setf (search-list-defined search-list) nil)
-      (setf (search-list-expansions search-list) nil)
-      t)))
-
-;;; As in CLEAR-SEARCH-LIST, we can't actually remove the entries from
-;;; the hash-table, so we just mark them as being undefined.
-(defun clear-all-search-lists ()
-  #!+sb-doc
-  "Clear the definition for all search-lists. Only use this if you know
-   what you are doing."
-  (maphash #'(lambda (name search-list)
-              (declare (ignore name))
-              (setf (search-list-defined search-list) nil)
-              (setf (search-list-expansions search-list) nil))
-          *search-lists*)
-  nil)
-
-;;; Extract the search-list from PATHNAME and return it. If PATHNAME
-;;; doesn't start with a search-list, then either error (if
-;;; FLAME-IF-NONE is true) or return NIL (if FLAME-IF-NONE is false).
-(defun extract-search-list (pathname flame-if-none)
-  (with-pathname (pathname pathname)
-    (let* ((directory (%pathname-directory pathname))
-          (search-list (cadr directory)))
-      (cond ((search-list-p search-list)
-            search-list)
-           (flame-if-none
-            (error "~S doesn't start with a search-list." pathname))
-           (t
-            nil)))))
-
-;;; We have to convert the internal form of the search-list back into
-;;; a bunch of pathnames.
-(defun search-list (pathname)
-  #!+sb-doc
-  "Return the expansions for the search-list starting PATHNAME. If PATHNAME
-   does not start with a search-list, then an error is signaled. If
-   the search-list has not been defined yet, then an error is signaled.
-   The expansion for a search-list can be set with SETF."
-  (with-pathname (pathname pathname)
-    (let ((search-list (extract-search-list pathname t))
-         (host (pathname-host pathname)))
-      (if (search-list-defined search-list)
-         (mapcar #'(lambda (directory)
-                     (make-pathname :host host
-                                    :directory (cons :absolute directory)))
-                 (search-list-expansions search-list))
-         (error "Search list ~S has not been defined yet." pathname)))))
-
-(defun search-list-defined-p (pathname)
-  #!+sb-doc
-  "Returns T if the search-list starting PATHNAME is currently defined, and
-   NIL otherwise. An error is signaled if PATHNAME does not start with a
-   search-list."
-  (with-pathname (pathname pathname)
-    (search-list-defined (extract-search-list pathname t))))
-
-;;; Set the expansion for the search list in PATHNAME. If this would
-;;; result in any circularities, we flame out. If anything goes wrong,
-;;; we leave the old definition intact.
-(defun %set-search-list (pathname values)
-  (let ((search-list (extract-search-list pathname t)))
-    (labels
-       ((check (target-list path)
-          (when (eq search-list target-list)
-            (error "That would result in a circularity:~%  ~
-                    ~A~{ -> ~A~} -> ~A"
-                   (search-list-name search-list)
-                   (reverse path)
-                   (search-list-name target-list)))
-          (when (search-list-p target-list)
-            (push (search-list-name target-list) path)
-            (dolist (expansion (search-list-expansions target-list))
-              (check (car expansion) path))))
-        (convert (pathname)
-          (with-pathname (pathname pathname)
-            (when (or (pathname-name pathname)
-                      (pathname-type pathname)
-                      (pathname-version pathname))
-              (error "Search-lists cannot expand into pathnames that have ~
-                      a name, type, or ~%version specified:~%  ~S"
-                     pathname))
-            (let ((directory (pathname-directory pathname)))
-              (let ((expansion
-                     (if directory
-                         (ecase (car directory)
-                           (:absolute (cdr directory))
-                           (:relative (cons (intern-search-list "default")
-                                            (cdr directory))))
-                         (list (intern-search-list "default")))))
-                (check (car expansion) nil)
-                expansion)))))
-      (setf (search-list-expansions search-list)
-           (if (listp values)
-             (mapcar #'convert values)
-             (list (convert values)))))
-    (setf (search-list-defined search-list) t))
-  values)
-
-(defun %enumerate-search-list (pathname function)
-  (/show0 "entering %ENUMERATE-SEARCH-LIST")
-  (let* ((pathname (if (typep pathname 'logical-pathname)
-                      (translate-logical-pathname pathname)
-                      pathname))
-        (search-list (extract-search-list pathname nil)))
-    (/show0 "PATHNAME and SEARCH-LIST computed")
-    (cond
-     ((not search-list)
-      (/show0 "no search list")
-      (funcall function pathname))
-     ((not (search-list-defined search-list))
-      (/show0 "undefined search list")
-      (error "undefined search list: ~A"
-            (search-list-name search-list)))
-     (t
-      (/show0 "general case")
-      (let ((tail (cddr (pathname-directory pathname))))
-       (/show0 "TAIL computed")
-       (dolist (expansion
-                (search-list-expansions search-list))
-         (/show0 "tail recursing in %ENUMERATE-SEARCH-LIST")
-         (%enumerate-search-list (make-pathname :defaults pathname
-                                                :directory
-                                                (cons :absolute
-                                                      (append expansion
-                                                              tail)))
-                                 function)))))))
-\f
 ;;;;  logical pathname support. ANSI 92-102 specification.
 ;;;;
 ;;;;  As logical-pathname translations are loaded they are
-;;;;  canonicalized as patterns to enable rapid efficent translation
+;;;;  canonicalized as patterns to enable rapid efficient translation
 ;;;;  into physical pathnames.
 
 ;;;; utilities
 
-;;; Canonicalize a logical pathanme word by uppercasing it checking that it
+;;; Canonicalize a logical pathname word by uppercasing it checking that it
 ;;; contains only legal characters.
 (defun logical-word-or-lose (word)
   (declare (string word))
+  (when (string= word "")
+    (error 'namestring-parse-error
+          :complaint "Attempted to treat invalid logical hostname ~
+                       as a logical host:~%  ~S"
+          :args (list word)
+          :namestring word :offset 0))
   (let ((word (string-upcase word)))
     (dotimes (i (length word))
       (let ((ch (schar word i)))
@@ -1243,7 +1163,7 @@ a host-structure or string."
          (error 'namestring-parse-error
                 :complaint "logical namestring character which ~
                             is not alphanumeric or hyphen:~%  ~S"
-                :arguments (list ch)
+                :args (list ch)
                 :namestring word :offset i))))
     word))
 
@@ -1296,7 +1216,7 @@ a host-structure or string."
                  (error 'namestring-parse-error
                         :complaint "double asterisk inside of logical ~
                                     word: ~S"
-                        :arguments (list chunk)
+                        :args (list chunk)
                         :namestring namestring
                         :offset (+ (cdar chunks) pos)))
                (pattern (subseq chunk last-pos pos)))
@@ -1304,7 +1224,7 @@ a host-structure or string."
                (return)
                (pattern :multi-char-wild))
            (setq last-pos (1+ pos)))))
-       (assert (pattern))
+       (aver (pattern))
        (if (cdr (pattern))
            (make-pattern (pattern))
            (let ((x (car (pattern))))
@@ -1330,7 +1250,7 @@ a host-structure or string."
          (unless (member ch '(#\; #\: #\.))
            (error 'namestring-parse-error
                   :complaint "illegal character for logical pathname:~%  ~S"
-                  :arguments (list ch)
+                  :args (list ch)
                   :namestring namestr
                   :offset i))
          (chunks (cons ch i)))))
@@ -1350,7 +1270,7 @@ a host-structure or string."
                 (unless (and chunks (simple-string-p (caar chunks)))
                   (error 'namestring-parse-error
                          :complaint "expecting ~A, got ~:[nothing~;~S~]."
-                         :arguments (list what (caar chunks) (caar chunks))
+                         :args (list what (caar chunks) (caar chunks))
                          :namestring namestr
                          :offset (if chunks (cdar chunks) end)))
                 (caar chunks))
@@ -1392,7 +1312,7 @@ a host-structure or string."
                   (unless (eql (caar chunks) #\.)
                     (error 'namestring-parse-error
                            :complaint "expecting a dot, got ~S."
-                           :arguments (list (caar chunks))
+                           :args (list (caar chunks))
                            :namestring namestr
                            :offset (cdar chunks)))
                   (if type
@@ -1415,7 +1335,7 @@ a host-structure or string."
                         (error 'namestring-parse-error
                                :complaint "expected a positive integer, ~
                                            got ~S"
-                               :arguments (list str)
+                               :args (list str)
                                :namestring namestr
                                :offset (+ pos (cdar chunks))))
                       (setq version res)))))
@@ -1425,11 +1345,10 @@ a host-structure or string."
                          :namestring namestr
                          :offset (cdadr chunks)))))
        (parse-host (logical-chunkify namestr start end)))
-      (values host :unspecific
-             (and (not (equal (directory)'(:absolute)))(directory))
-             name type version))))
+      (values host :unspecific (directory) name type version))))
 
-;;; We can't initialize this yet because not all host methods are loaded yet.
+;;; We can't initialize this yet because not all host methods are
+;;; loaded yet.
 (defvar *logical-pathname-defaults*)
 
 (defun logical-pathname (pathspec)
@@ -1486,30 +1405,30 @@ a host-structure or string."
 
 ;;; Unparse a logical pathname string.
 (defun unparse-enough-namestring (pathname defaults)
-  (let* ((path-dir (pathname-directory pathname))
-         (def-dir (pathname-directory defaults))
-         (enough-dir
+  (let* ((path-directory (pathname-directory pathname))
+         (def-directory (pathname-directory defaults))
+         (enough-directory
            ;; Go down the directory lists to see what matches.  What's
            ;; left is what we want, more or less.
-           (cond ((and (eq (first path-dir) (first def-dir))
-                       (eq (first path-dir) :absolute))
+           (cond ((and (eq (first path-directory) (first def-directory))
+                       (eq (first path-directory) :absolute))
                    ;; Both paths are :ABSOLUTE, so find where the
                    ;; common parts end and return what's left
-                   (do* ((p (rest path-dir) (rest p))
-                         (d (rest def-dir) (rest d)))
+                   (do* ((p (rest path-directory) (rest p))
+                         (d (rest def-directory) (rest d)))
                         ((or (endp p) (endp d)
                              (not (equal (first p) (first d))))
                          `(:relative ,@p))))
                  (t
                    ;; At least one path is :RELATIVE, so just return the
                    ;; original path.  If the original path is :RELATIVE,
-                   ;; then that's the right one.  If PATH-DIR is
+                   ;; then that's the right one.  If PATH-DIRECTORY is
                    ;; :ABSOLUTE, we want to return that except when
-                   ;; DEF-DIR is :ABSOLUTE, as handled above. so return
+                   ;; DEF-DIRECTORY is :ABSOLUTE, as handled above. so return
                    ;; the original directory.
-                   path-dir))))
+                   path-directory))))
     (make-pathname :host (pathname-host pathname)
-                   :directory enough-dir
+                   :directory enough-directory
                    :name (pathname-name pathname)
                    :type (pathname-type pathname)
                    :version (pathname-version pathname))))
@@ -1546,8 +1465,7 @@ a host-structure or string."
 
 (defun (setf logical-pathname-translations) (translations host)
   #!+sb-doc
-  "Set the translations list for the logical host argument.
-   Return translations."
+  "Set the translations list for the logical host argument."
   (declare (type (or string logical-host) host)
           (type list translations)
           (values list))
@@ -1558,7 +1476,7 @@ a host-structure or string."
 
 (defun translate-logical-pathname (pathname &key)
   #!+sb-doc
-  "Translates pathname to a physical pathname, which is returned."
+  "Translate PATHNAME to a physical pathname, which is returned."
   (declare (type pathname-designator pathname)
           (values (or null pathname)))
   (typecase pathname
@@ -1573,8 +1491,7 @@ a host-structure or string."
           (return (translate-logical-pathname
                    (translate-pathname pathname from to)))))))
     (pathname pathname)
-    (stream (translate-logical-pathname (pathname pathname)))
-    (t (translate-logical-pathname (logical-pathname pathname)))))
+    (t (translate-logical-pathname (pathname pathname)))))
 
 (defvar *logical-pathname-defaults*
   (%make-logical-pathname (make-logical-host :name "BOGUS")