[m-rev.] for review: update header comment in char module
jfischer at opturion.com
Wed Jul 26 14:41:15 AEST 2017
For review by anyone.
Update header comment in char module.
Delete an out-of-date comment: Mercury characters are Unicode
code points, so the set of characters supported and their mapping
to integers is not implementation dependent.
diff --git a/library/char.m b/library/char.m
index 0002c1d5a..4cb30e795 100644
@@ -13,9 +13,6 @@
% This module defines some predicates that manipulate characters.
-% The set of characters which are supported and the mapping from
-% characters to integer values are both implementation-dependent.
% Originally we used `character' rather than `char' for the type name
% because `char' was used by NU-Prolog to mean something different.
% But now we use `char' and the use of `character' is discouraged.
More information about the reviews