sasagawa888/eisl

Bug of type inference

Closed this issue · 1 comments

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))))

Fixed it in ver3.93