ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.

This addresses #1307.

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index e614b1f64f2c3100c8190cacfd73e9b0327953b3..6a1f007aac507133dcb548b03127192a04e8cb4c 100644 (file)
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -203,8 +203,11 @@ partial_string_tail(String, Tail) :-
 
 call_nth(Goal, N) :-
     can_be(integer, N),
-    (   integer(N), N =< 0,
-        domain_error(positive_integer, N, call_nth/2)
+    (   integer(N) ->
+        (   N < 0 ->
+            domain_error(not_less_than_zero, N, call_nth/2)
+        ;   N > 0
+        )
     ;   true
     ),
     setup_call_cleanup(call_nth_nesting(ID),