From: Markus Triska Date: Sun, 15 May 2022 08:19:00 +0000 (+0200) Subject: use phrase_from_file/2 directly on the file name X-Git-Tag: v0.9.1~28^2~4 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=77f8d52271a12a8b498afe2718d91e4e992b3a31;p=scryer-prolog.git use phrase_from_file/2 directly on the file name --- diff --git a/src/lib/sgml.pl b/src/lib/sgml.pl index 0289278e..bb1b58c3 100644 --- a/src/lib/sgml.pl +++ b/src/lib/sgml.pl @@ -70,9 +70,8 @@ load_structure_([C|Cs], [E], Options, What) :- load_(What, [C|Cs], E, Options). load_structure_(file(Fs), [E], Options, What) :- must_be(list, Options), - must_be(list, Fs), - atom_chars(File, Fs), - once(phrase_from_file(seq(Cs), File)), + must_be(chars, Fs), + once(phrase_from_file(seq(Cs), Fs)), load_(What, Cs, E, Options). load_structure_(stream(Stream), [E], Options, What) :- must_be(list, Options),