[m-dev.] diff: document treatment of NULs in strings

[Fergus Henderson]

Estimated hours taken: 0.25

library/string.m:
	Fix a bug reported by Ralph Becket <rbeck at microsoft.com>:
	document that the current implementation treats null characters
	as string terminators.

	Also change the "main authors" from "fjh, dylan" to "fjh, petdr",
	since petdr has replaced all of dylan's code for string__format.

Index: string.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/string.m,v
retrieving revision 1.126
diff -u -d -u -r1.126 string.m
--- string.m	2000/08/10 16:34:16	1.126
+++ string.m	2000/09/14 04:45:57
@@ -6,10 +6,15 @@
 
 :- module string.
 
-% Main authors: fjh, dylan.
+% Main authors: fjh, petdr.
 % Stability: medium to high.
 
 % This modules provides basic string handling facilities.
+
+% Note that in the current implementation, strings are represented as in C,
+% using a null character as the string terminator.  Future implementations,
+% however, might allow null characters in strings.  Programmers should
+% avoid creating strings that might contain null characters.
 
 %-----------------------------------------------------------------------------%
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------