search

sasagawa888 / eisl

ISLisp interpreter/compiler
Other
267 stars 22 forks source link

Bug of type inference #313

Closed sasagawa888 closed 2 months ago

sasagawa888 commented 2 months ago

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 2 months ago

Fixed it in ver3.93