rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use seq//1

Browse Source
This commit is contained in:
Markus Triska
2021-11-27 16:20:24 +01:00
parent 25a06b0bea
commit 45cfa6c8d8
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/time.pl
View File

@@ -59,15 +59,12 @@ format_time([], _) --> [].
format_time(['%','%'|Fs], T) --> !, "%", format_time(Fs, T). format_time(['%','%'|Fs], T) --> !, "%", format_time(Fs, T).
format_time(['%',Spec|Fs], T) --> !, format_time(['%',Spec|Fs], T) --> !,
( { member(Spec=Value, T) } -> ( { member(Spec=Value, T) } ->
list(Value) seq(Value)
; { domain_error(time_specifier, Spec, format_time//2) } ; { domain_error(time_specifier, Spec, format_time//2) }
), ),
format_time(Fs, T). format_time(Fs, T).
format_time([F|Fs], T) --> [F], 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). max_sleep_time(0xfffffffffffffbff).
sleep(T) :- sleep(T) :-