Bug of type inference
Closed this issue · 1 comments
sasagawa888 commented
There was a bug in the type inference of the following code. It was not inferring correctly for (<= x y).
(defun tarai (x y z)
(if (<= x y)
y
(tarai (tarai (- x 1) y z)
(tarai (- y 1) z x)
(tarai (- z 1) x y))))
sasagawa888 commented
Fixed it in ver3.93