Changeset 14178

Timestamp:

10/11/12 11:33:24 (11 years ago)

Author:

Mark Evenson

Message:

Merging a "plain file" path on non-Windows gets an :UNSPECIFIC DEVICE.

If the defaults contain a JAR-PATHNAME, and the pathname to be be
merged does not have a specified DEVICE, a specified HOST, and doesn't
contain a relative DIRECTORY, then on non-MSDOG, set its device to
:UNSPECIFIC.

Location:

trunk/abcl

Files:

• doc/manual/abcl.tex (modified) (1 diff)
• src/org/armedbear/lisp/Pathname.java (modified) (1 diff)

trunk/abcl/doc/manual/abcl.tex

@@ -52 +52 @@
 \item The \code{TIME} form does not return a proper \code{VALUES}
   environment to its caller.
+\item When merging pathnames and the defaults point to a \code{JAR-PATHNAME},
+  we set the \code{DEVICE} of the result to \code{:UNSPECIFIC} if the pathname to be
+  be merged does not contain a specified \code{DEVICE}, does not contain a
+  specified \code{HOST}, does contain a relative \code{DIRECTORY}, and we are
+  not running on a \textsc{MSFT} Windows platform.\footnote{The intent of this
+    rather arcane sounding deviation from conformance is so that the
+    result of a merge won't fill in a DEVICE with the wrong "default
+    device for the host" in the sense of the fourth paragraph in the
+    [CLHS description of MERGE-PATHNAMES][2] (the paragraph beginning
+    "If the PATHNAME explicitly specifies a host and not a device
").
+    A future version of the implementation may return to conformance
+    by using the \code{HOST} value to reflect the type explicitly.
+  }
+
 \end{itemize}
 

trunk/abcl/src/org/armedbear/lisp/Pathname.java

@@ -1986 +1986 @@
         } else {
             if (!p.isURL()) {
-                result.device = d.device;
+                // If the defaults contain a JAR-PATHNAME, and the
+                // pathname to be be merged does not have a specified
+                // DEVICE, a specified HOST, and doesn't contain a
+                // relative DIRECTORY, then on non-MSDOG, set its
+                // device to :UNSPECIFIC.
+                if (pathname.host == NIL
+                    && pathname.device == NIL
+                    && d.isJar()
+                    && !Utilities.isPlatformWindows) {
+                    if (pathname.directory != NIL
+                        && pathname.directory.car() == Keyword.ABSOLUTE) {
+                        result.device = Keyword.UNSPECIFIC;
+                    } else {
+                        result.device = d.device;
+                    }
+                } else {
+                    result.device = d.device;
+                }
             }
         }