[m-rev.] for review: add dir:/

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

NEWS:
library/dir.m:
	Add `/' as a synonym for `dir__make_path_name'.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.259
diff -u -u -r1.259 NEWS
--- NEWS	30 May 2002 12:54:51 -0000	1.259
+++ NEWS	4 Jul 2002 05:54:54 -0000
@@ -243,6 +243,8 @@
 * We've added int:'/'/2 as a synonym for int:'//'/2 and false/0 as a
   built-in synonym for fail/0 (both left-overs from Mercury's Prolog
   heritage.)
+
+* dir:'/'/2 is now a synonym for `dir__make_path_name'.
   
 * We've removed the long obsolete predicates `io__read_anything',
   `io__write_anything', and `io__print_anything', which were long ago
Index: library/dir.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/dir.m,v
retrieving revision 1.13
diff -u -u -r1.13 dir.m
--- library/dir.m	12 Nov 2000 08:51:33 -0000	1.13
+++ library/dir.m	3 Jul 2002 16:58:52 -0000
@@ -41,6 +41,7 @@
 	% Given a directory name and a filename, return the pathname of that
 	% file in that directory.
 :- func dir__make_path_name(string, string) = string.
+:- func string / string = string.
 
 %-----------------------------------------------------------------------------%
 
@@ -94,6 +95,8 @@
 	string__append_list([DirName,
 		string__char_to_string(dir__directory_separator),
 		FileName], PathName).
+
+DirName / FileName = dir__make_path_name(DirName, FileName).
 
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------