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

use seq//1
---

diff --git a/src/lib/time.pl b/src/lib/time.pl
index 13df2e42..fd76d3b2 100644
--- a/src/lib/time.pl
+++ b/src/lib/time.pl
@@ -59,15 +59,12 @@ format_time([], _) --> [].
 format_time(['%','%'|Fs], T) --> !, "%", format_time(Fs, T).
 format_time(['%',Spec|Fs], T) --> !,
         (   { member(Spec=Value, T) } ->
-            list(Value)
+            seq(Value)
         ;   { domain_error(time_specifier, Spec, format_time//2) }
         ),
         format_time(Fs, T).
 format_time([F|Fs], T) --> [F], format_time(Fs, T).
 
-list([]) --> [].
-list([L|Ls]) --> [L], list(Ls).
-
 max_sleep_time(0xfffffffffffffbff).
 
 sleep(T) :-