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

Corrected the error being thrown by sleep/1

Browse Source
This commit is contained in:
notoria
2020-04-20 16:34:56 +02:00
parent b3e31094ff
commit 6d7612ead6
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prolog/lib/time.pl
View File

@@ -19,9 +19,9 @@ max_sleep_time(0xfffffffffffffbff).
sleep(T) :- sleep(T) :-
builtins:must_be_number(T, sleep), builtins:must_be_number(T, sleep),
( T < 0 -> ( T < 0 ->
throw(domain_error(not_less_than_zero, T)) throw(error(domain_error(not_less_than_zero, T), sleep/1))
; max_sleep_time(N), T > N -> ; max_sleep_time(N), T > N ->
throw(error(reprensentation_error(max_sleep_time), abolish/1)) throw(error(reprensentation_error(max_sleep_time), sleep/1))
; '$sleep'(T) ; '$sleep'(T)
). ).