From: Markus Triska <triska@metalevel.at>
Date: Sat, 27 Nov 2021 15:17:45 +0000 (+0100)
Subject: use seq//1
X-Git-Tag: v0.9.0~21^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=91af72e8b137cab02ef24a043a9a799fa31b5272;p=scryer-prolog.git

use seq//1
---

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),