numbers numbers numbers, no visibeble failures in vanilla test suite

parent c6daae9b
......@@ -247,7 +247,19 @@
(else
(<code> (error "Bug in prolog flag 'unknown' implementation"))))))))
(<define> (<iss> x y) (<r=> x y))
(<define> (<iss> x y)
(<let> ((x (<lookup> x)))
(if (number? x)
(if (number? x)
(if (inexact? x)
(if (inexact? y)
(when (my-equal? x y))
<fail>)
(if (inexact? y)
<fail>
(when (eqv? x y))))
(<r=> x y))
(<r=> x y))))
(define-syntax-rule (mk-prolog-abstract tp op fk-name tr-name)
(begin
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment