From eef9f74a68a21af4a9572cf8bcc4057d8073bd0a Mon Sep 17 00:00:00 2001 From: Jason Hemann Date: Tue, 10 Dec 2024 21:18:09 -0500 Subject: [PATCH 1/2] Documentation for read/2 Mirrored the wording in the docstrings for `read/1` and `read_term/3`. --- src/lib/builtins.pl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index b62632183..e2513cc40 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -766,6 +766,10 @@ read_term(Stream, Term, []). % read(Stream, Term). +%% read(+Stream, -Term). +% +% Read Term from the stream Stream with default options. **NOTE** This is not a general predicate +% to read input from a file or the user. Use other predicates like `phrase_from_file/2` for that. read(Stream, Term) :- read_term(Stream, Term, []). From e219e1c483b6b7960e0d8fd48558b1efc4e88bce Mon Sep 17 00:00:00 2001 From: Jason Hemann Date: Wed, 11 Dec 2024 05:46:28 -0500 Subject: [PATCH 2/2] Update builtins.pl Simplifying docstring. --- src/lib/builtins.pl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index e2513cc40..aecfb5729 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -768,8 +768,7 @@ %% read(+Stream, -Term). % -% Read Term from the stream Stream with default options. **NOTE** This is not a general predicate -% to read input from a file or the user. Use other predicates like `phrase_from_file/2` for that. +% Same as read_term/3 with all default options. read(Stream, Term) :- read_term(Stream, Term, []).