From: Markus Triska <triska@metalevel.at>
Date: Wed, 11 Jan 2023 16:22:38 +0000 (+0100)
Subject: ADDED: sign/1 is now reifiable.
X-Git-Tag: v0.9.2~238^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c5caa9d311225ee0b88fc350ae48c68684b5de11;p=scryer-prolog.git

ADDED: sign/1 is now reifiable.

This addresses #1500.
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 207499b2..4871851b 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3542,6 +3542,7 @@ parse_reified(E, R, D,
                m(msb(A))     => [function(D,msb,A,R)],
                m(lsb(A))     => [function(D,lsb,A,R)],
                m(popcount(A)) => [function(D,popcount,A,R)],
+               m(sign(A))    => [function(D,sign,A,R)],
                m(A<<B)       => [function(D,<<,A,B,R)],
                m(A>>B)       => [function(D,>>,A,B,R)],
                m(A/\B)       => [function(D,/\,A,B,R)],