mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Adjust char module documentation.

Browse Source 
library/char.m:
    Adjust the description of binary digits to be consistent with
    elsewhere in this module.

    Fix a double-up word.
This commit is contained in:
Julien Fischer
2026-02-25 22:06:42 +11:00
parent 330323c7a1
commit 0ae5f3112d
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
library/char.m
View File

@@ -201,7 +201,7 @@
%---------------------%
% binary_digit_to_int(Char, Int):
% True if-and-only-if Char is a binary digit (0-1) representing
% True if-and-only-if Char is a binary digit (0 or 1) representing
% the value Int.
%
:- pred binary_digit_to_int(char::in, int::out) is semidet.
@@ -455,8 +455,8 @@
% - pred det_from_int/2
%
% are implemented in terms of pred to_int/2. For the *from_int operations,
% this is possible *only* because that predicate has a reverse mode as
% as its usual forward mode.
% this is possible *only* because that predicate has a reverse mode as its
% usual forward mode.
%
to_int(C) = N :-