From a88b2a648e6c33faa5bd4937802b92eaba67172c Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Thu, 12 Feb 2026 14:04:05 +1100 Subject: [PATCH] Fix method reference in stream documentation. library/stream.m: The arity of bulk_get is 9, not 4. --- library/stream.m | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/library/stream.m b/library/stream.m index d544f1c4b..fc6faf600 100644 --- a/library/stream.m +++ b/library/stream.m @@ -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