From 91af72e8b137cab02ef24a043a9a799fa31b5272 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 27 Nov 2021 16:17:45 +0100 Subject: [PATCH] use seq//1 --- src/lib/sgml.pl | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/lib/sgml.pl b/src/lib/sgml.pl index 460646b7..507da1c6 100644 --- a/src/lib/sgml.pl +++ b/src/lib/sgml.pl @@ -64,9 +64,6 @@ load_html(Source, Es, Options) :- load_xml(Source, Es, Options) :- load_structure_(Source, Es, Options, xml). -list([]) --> []. -list([L|Ls]) --> [L], list(Ls). - load_structure_([], [], _, _). load_structure_([C|Cs], [E], Options, What) :- load_(What, [C|Cs], E, Options). @@ -74,7 +71,7 @@ load_structure_(file(Fs), [E], Options, What) :- must_be(list, Options), must_be(list, Fs), atom_chars(File, Fs), - once(phrase_from_file(list(Cs), File)), + once(phrase_from_file(seq(Cs), File)), load_(What, Cs, E, Options). load_structure_(stream(Stream), [E], Options, What) :- must_be(list, Options), -- 2.54.0