URL-Pathnames

URL-Pathname is an extension of pathname to have slots for a protocol and a port. A URL is composed of six components; protocol, server, port, directories, filename, and file-type, like http://shock2.etl.go.jp/matsui/index.html.

url-pathname name [function]

name is pathname or string. name is converted to pathname. To indicate the last name is a directory name, don't forget to suffix with "/". The inverse conversion is performed by namestring.