Changeset 15424

Timestamp:

10/20/20 06:45:23 (3 years ago)

Author:

Mark Evenson

Message:

MAKE-PATHNAME constructs URL-PATHNAME with proper type

File:

• trunk/abcl/src/org/armedbear/lisp/Pathname.java (modified) (2 diffs)

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

@@ -1239 +1239 @@
         p.validateDirectory(true);
 
-        // ???  need to check for downcast to URLPathname as well?
         // Possibly downcast type to JarPathname
         if (p.getDevice() instanceof Cons) {
@@ -1257 +1256 @@
           return result;
         }
+
+        // Possibly downcast to URLPathname
+        if (p.isURL()) {
+          URLPathname result = new URLPathname();
+          result.copyFrom(p);
+
+          return result;
+        }
+
         return p;
     }