Commit f80bb43e authored by Juan Jose Garcia Ripoll's avatar Juan Jose Garcia Ripoll
Browse files

In the type propagator for ISQRT, remove the circular reader forms.

parent eb4b073e
......@@ -183,7 +183,8 @@
(if (type>= '(REAL 0 *) arg) output 'NUMBER))))
(def-type-propagator isqrt (fname arg)
(if (type>= '#1=(integer 0 #.MOST-POSITIVE-FIXNUM) arg)
(values '(#1#) #1#)
(values '(#2=(integer 0 *)) #2#)))
(if (type>= '(integer 0 #.MOST-POSITIVE-FIXNUM) arg)
(values '((integer 0 #.MOST-POSITIVE-FIXNUM))
'(integer 0 #.MOST-POSITIVE-FIXNUM))
(values '((integer 0 *)) '(integer 0 *))))
Supports Markdown
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