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

Fix method reference in stream documentation.

Browse Source 
library/stream.m:
    The arity of bulk_get is 9, not 4.
This commit is contained in:
Julien Fischer
2026-02-12 14:04:05 +11:00
parent b9f36b87f7
commit a88b2a648e
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
library/stream.m
View File

@@ -114,7 +114,7 @@
% unboxed_get/5 or bulk_get/9 for that stream return `eof'.
%
% If a call to get/4 returns `error(...)', all further calls
% to get/4, unboxed_get/5 or bulk_get/4 for that stream return an error,
% to get/4, unboxed_get/5 or bulk_get/9 for that stream return an error,
% although not necessarily the same one.
%
% XXX We should provide an interface to allow the user to reset the
@@ -141,7 +141,7 @@
% unboxed_get/5 or bulk_get/9 for that stream return `eof'.
%
% If a call to unboxed_get/5 returns `error(...)', all further calls
% to get/4, unboxed_get/5 or bulk_get/4 for that stream return an error,
% to get/4, unboxed_get/5 or bulk_get/9 for that stream return an error,
% although not necessarily the same one.
%
% XXX We should provide an interface to allow the user to reset the
@@ -182,8 +182,8 @@
% Throws an exception if Index given is out of range, or if NumItems units
% starting at Index will not fit in !Store.
%
% If a call to bulk_get/4 returns fewer than NumItems items, all further
% calls to get/4, unboxed_get/5 or bulk_get/4 for that stream return no
% If a call to bulk_get/9 returns fewer than NumItems items, all further
% calls to get/4, unboxed_get/5 or bulk_get/9 for that stream return no
% items.
%
% If a call to bulk_get/9 returns `error(...)', all further calls to