Fixed some conversion issues

2020-08-06 11:39:55 +02:00
parent 10ba6fb773
commit 3143468751
2 changed files with 13 additions and 0 deletions
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -918,6 +918,7 @@ op(Priority, OpSpec, Op) :-
 halt :- halt(0).

 halt(N) :-
+        must_be_number(N, halt/1),
        (   -2^31 =< N, N =< 2^31 - 1 ->
            '$halt'(N)
        ;   throw(error(domain_error(exit_code, N), halt/1))