X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fpathname.lisp;h=c24892f04c78ccb1609031c035e6901215f1d464;hb=031ae238d37250e935dabaf2a3efb6e0305dd3e7;hp=6815d1d9e295436b0059d1bc1c5f9691e1af604a;hpb=a8f2656f635d81ec326303f47e0612fb1f35fd91;p=sbcl.git

diff --git a/src/code/pathname.lisp b/src/code/pathname.lisp
index 6815d1d..c24892f 100644
--- a/src/code/pathname.lisp
+++ b/src/code/pathname.lisp
@@ -16,7 +16,7 @@
 ;;; The HOST structure holds the functions that both parse the
 ;;; pathname information into structure slot entries, and after
 ;;; translation the inverse (unparse) functions.
-(sb!xc:defstruct (host (:constructor nil))
+(def!struct (host (:constructor nil))
   (parse (required-argument) :type function)
   (unparse (required-argument) :type function)
   (unparse-host (required-argument) :type function)
@@ -25,21 +25,32 @@
   (unparse-enough (required-argument) :type function)
   (customary-case (required-argument) :type (member :upper :lower)))
 
-(sb!xc:defstruct (logical-host
-		  (:include host
-			    (:parse #'parse-logical-namestring)
-			    (:unparse #'unparse-logical-namestring)
-			    (:unparse-host
-			     (lambda (x)
-			       (logical-host-name (%pathname-host x))))
-			    (:unparse-directory #'unparse-logical-directory)
-			    (:unparse-file #'unparse-unix-file)
-			    (:unparse-enough #'unparse-enough-namestring)
-			    (:customary-case :upper)))
+(def!struct (logical-host
+	     (:make-load-form-fun make-logical-host-load-form-fun)
+	     (:include host
+		       (:parse #'parse-logical-namestring)
+		       (:unparse #'unparse-logical-namestring)
+		       (:unparse-host
+			(lambda (x)
+			  (logical-host-name (%pathname-host x))))
+		       (:unparse-directory #'unparse-logical-directory)
+		       (:unparse-file #'unparse-unix-file)
+		       (:unparse-enough #'unparse-enough-namestring)
+		       (:customary-case :upper)))
   (name "" :type simple-base-string)
   (translations nil :type list)
   (canon-transls nil :type list))
 
+(def!method print-object ((logical-host logical-host) stream)
+  (print-unreadable-object (logical-host stream :type t)
+    (prin1 (logical-host-name logical-host) stream)))
+
+;;; What would it mean to dump a logical host and reload it into
+;;; another Lisp image? It's not clear, so we don't support it.
+(defun make-logical-host-load-form-fun (logical-host)
+  (error "~@<A logical host can't be dumped as a constant: ~2I~_~S~:>"
+         logical-host))
+
 ;;; A PATTERN is a list of entries and wildcards used for pattern
 ;;; matches of translations.
 (sb!xc:defstruct (pattern (:constructor make-pattern (pieces)))
@@ -49,7 +60,7 @@
 
 ;;; the various magic tokens that are allowed to appear in pretty much
 ;;; all pathname components
-(sb!xc:deftype component-tokens () ; FIXME: rename to PATHNAME-COMPONENT-TOKENS
+(sb!xc:deftype pathname-component-tokens ()
   '(member nil :unspecific :wild))
 
 (sb!xc:defstruct (pathname (:conc-name %pathname-)
@@ -63,16 +74,22 @@
   ;; the host (at present either a UNIX or logical host)
   (host nil :type (or host null))
   ;; the name of a logical or physical device holding files
-  (device nil :type (or simple-string component-tokens))
+  (device nil :type (or simple-string pathname-component-tokens))
   ;; a list of strings that are the component subdirectory components
   (directory nil :type list)
   ;; the filename
-  (name nil :type (or simple-string pattern component-tokens))
+  (name nil :type (or simple-string pattern pathname-component-tokens))
   ;; the type extension of the file
-  (type nil :type (or simple-string pattern component-tokens))
+  (type nil :type (or simple-string pattern pathname-component-tokens))
   ;; the version number of the file, a positive integer (not supported
   ;; on standard Unix filesystems)
-  (version nil :type (or integer component-tokens (member :newest))))
+  (version nil :type (or integer pathname-component-tokens (member :newest))))
+
+;;; 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))
 
 ;;; Logical pathnames have the following format:
 ;;;
@@ -90,8 +107,8 @@
 ;;;
 ;;; Physical pathnames include all these slots and a device slot.
 
-;;; Logical pathnames are a subclass of pathname. Their class
-;;; relations are mimicked using structures for efficency.
+;;; Logical pathnames are a subclass of PATHNAME. Their class
+;;; relations are mimicked using structures for efficiency.
 (sb!xc:defstruct (logical-pathname (:conc-name %logical-pathname-)
 				   (:include pathname)
 				   (:constructor %make-logical-pathname
@@ -101,19 +118,3 @@
 						  name
 						  type
 						  version))))
-
-(defmacro-mundanely enumerate-search-list ((var pathname &optional result)
-					   &body body)
-  #!+sb-doc
-  "Execute BODY with VAR bound to each successive possible expansion for
-   PATHNAME and then return RESULT. Note: if PATHNAME does not contain a
-   search-list, then BODY is executed exactly once. Everything is wrapped
-   in a block named NIL, so RETURN can be used to terminate early. Note:
-   VAR is *not* bound inside of RESULT."
-  (let ((body-name (gensym)))
-    `(block nil
-       (flet ((,body-name (,var)
-		,@body))
-	 (%enumerate-search-list ,pathname #',body-name)
-	 ,result))))
-