Thrown an error if T < 0 or T > 0xfffffffffffffbff in sleep(T)

diff --git a/src/prolog/lib/time.pl b/src/prolog/lib/time.pl
index 42438c6233f69146d3cf79c976599753b7823cad..d4e27f2ec866a054face0f10a7a8a069e237d399 100644 (file)
--- a/src/prolog/lib/time.pl
+++ b/src/prolog/lib/time.pl
@@ -16,7 +16,12 @@
 
 sleep(T) :-
     builtins:must_be_number(T, sleep),
-    '$sleep'(T).
+    (   T < 0 ->
+        throw(domain_error(not_less_than_zero, T))
+    ;   T > 0xfffffffffffffbff ->
+        throw(domain_error(not_great_than_0xfffffffffffffbff, T))
+    ;   '$sleep'(T)
+    ).
 
 time(Goal) :-
         '$cpu_now'(T0),