From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 19 Jan 2022 00:38:45 +0000 (-0700)
Subject: remove number/3 from arithmetic.pl (#1170)
X-Git-Tag: v0.9.0^2~54
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=59992c8af232f22c03b7ec358598adf4e2bc1643;p=scryer-prolog.git

remove number/3 from arithmetic.pl (#1170)
---

diff --git a/src/lib/arithmetic.pl b/src/lib/arithmetic.pl
index dc9ce077..ee719a18 100644
--- a/src/lib/arithmetic.pl
+++ b/src/lib/arithmetic.pl
@@ -94,12 +94,6 @@ number_to_rational(Eps0, Real0, Fraction) :-
     ),
     !.
 
-number(X) :-
-    (   integer(X)
-    ;   float(X)
-    ;   rational(X)
-    ).
-
 stern_brocot_(Qnn/Qnd, Qpn/Qpd, A/B, C/D, Fraction) :-
     Fn1 is A + C,
     Fd1 is B + D,