Comment 1 for bug 309448

Revision history for this message
Nikodemus Siivola (nikodemus) wrote : Re: compiler performance fiasco involving type inference and UNION-TYPE

Another example:

(defun foo ()
  (labels ((bar (baz bim)
             (let ((n (+ baz bim)))
               (* n (+ n 1) bim))))
    (let ((a (bar 1 1))
          (b (bar 1 5))
          (c (bar 1 15)))
      (- (+ a b) c))))