[m-rev.] for review: library changes for `mmc --make' on Windows

[Simon Taylor]

On 21-Jul-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 20-Jul-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > +	% dir__path_name_is_root_directory(PathName)
> > +	%
> > +	% On Unix, '/' is the only root directory.
> > +	% On Windows, a root directory is one of the following:
> > +	%	'X:\', which specifies the root directory of drive X,
> > +	%		where X is any letter.
> > +	%	'\', which specifies the root directory of the current drive.
> > +	%	'\\server\share\', which specifies a UNC root directory for
> > +	%		a network drive.
> 
> What does UNC stand for?  It's probably worth putting the full spelling
> in parentheses for the benefit of users who are not familiar with this term.
> 
> Otherwise, that looks great now -- thanks!

Index: dir.m
===================================================================
+	% dir__path_name_is_root_directory(PathName)
+	%
+	% On Unix, '/' is the only root directory.
+	% On Windows, a root directory is one of the following:
+	%	'X:\', which specifies the root directory of drive X,
+	%		where X is any letter.
+	%	'\', which specifies the root directory of the current drive.
+	%	'\\server\share\', which specifies a UNC (Universal Naming
+	%		Convention) root directory for a network drive.
+	%
+	% Note that 'X:' is not a Windows root directory -- it specifies the
+	% current directory on drive X, where X is any letter.
+:- pred dir__path_name_is_root_directory(string::in) is semidet.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------