From: Markus Triska <triska@metalevel.at>
Date: Tue, 15 Aug 2023 19:36:59 +0000 (+0200)
Subject: use can_be/2
X-Git-Tag: v0.9.2~4^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d8e126044fde12eebca278673416896812c18562;p=scryer-prolog.git

use can_be/2
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 2d991af6..1c8d0c02 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -119,7 +119,7 @@
 :- use_module(library(iso_ext)).
 :- use_module(library(dcgs)).
 :- use_module(library(terms)).
-:- use_module(library(error), [domain_error/3, type_error/3]).
+:- use_module(library(error), [domain_error/3, type_error/3, can_be/2]).
 :- use_module(library(si)).
 :- use_module(library(freeze)).
 :- use_module(library(arithmetic)).
@@ -1745,11 +1745,7 @@ clpz_in(V, D) :-
         drep_to_domain(D, Dom),
         domain(V, Dom).
 
-fd_variable(V) :-
-        (   var(V) -> true
-        ;   integer(V) -> true
-        ;   type_error(integer, V)
-        ).
+fd_variable(V) :- can_be(integer, V).
 
 %% ins(+Vars, +Domain)
 %