From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 4 Mar 2022 06:24:26 +0000 (-0700)
Subject: change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310)
X-Git-Tag: v0.9.0^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d7a3ed2d4abcf6fafe3506c33367b879ffcb3839;p=scryer-prolog.git

change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310)
---

diff --git a/src/lib/random.pl b/src/lib/random.pl
index 2fb21279..d678aff2 100644
--- a/src/lib/random.pl
+++ b/src/lib/random.pl
@@ -22,11 +22,11 @@ random(R) :-
 random_integer(Lower, Upper, R) :-
     var(R),
     (   (var(Lower) ; var(Upper)) ->
-            instantiation_error(random_integer/3)
+        instantiation_error(random_integer/3)
     ;   \+ integer(Lower) ->
-            domain_error(integer, Lower, random_integer/3)
+        type_error(integer, Lower, random_integer/3)
     ;   \+ integer(Upper) ->
-            domain_error(integer, Upper, random_integer/3)
+        type_error(integer, Upper, random_integer/3)
     ;   Upper > Lower,
         random(R0),
         R is floor((Upper - Lower) * R0 + Lower)