<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Oct 29, 2019 at 12:02 PM Peter Wang <<a href="mailto:novalazy@gmail.com">novalazy@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">@@ -171,10 +171,9 @@<br>
 :- mode to_rev_char_list(uo, in) is det.<br>
<br>
     % Convert a list of characters (code points) to a string.<br>
-    % Throws an exception if the list of characters contains a null character.<br>
-    %<br>
-    % NOTE: In the future we may also throw an exception if the list contains<br>
-    % a surrogate code point.<br>
+    % Throws an exception if the list contains a null character or code point<br>
+    % that cannot be encoded in a string (namely, surrogate code points cannot<br>
+    % be encoded in UTF-8 strings).<br>
     %<br>
     % The forward mode of from_char_list/2 is deprecated because the implied<br></blockquote><div><br></div><div>It wasn't part of your change, but this should say reverse not forward.</div><div><br></div><div>Mark</div><div><br></div></div></div>