From: Markus Triska Date: Sun, 15 May 2022 08:23:00 +0000 (+0200) Subject: clarify comment X-Git-Tag: v0.9.1~28^2~3 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=dff56643f08b397becedf0681db53525518ee00e;p=scryer-prolog.git clarify comment --- diff --git a/src/lib/sgml.pl b/src/lib/sgml.pl index bb1b58c3..26c917f5 100644 --- a/src/lib/sgml.pl +++ b/src/lib/sgml.pl @@ -10,9 +10,11 @@ These predicates parse HTML and XML documents, respectively. - Source must be a stream, specified as stream(S), or a file, - specified as file(Name), where Name is a list of characters, or a - list of characters with the document contents. + Source must be one of: + + - a list of characters with the document contents + - stream(S), specifying a stream S from which to read the content + - file(Name), where Name is a list of characters specifying a file name. Es is unified with the abstract syntax tree of the parsed document, represented as a list of elements where each is of the form: