Compiler error

[Mark Evenson]

Patrick Stein reports <​http://article.gmane.org/gmane.lisp.armedbear.devel/3521> that the following forms cannot be loaded in their compiled representation:

;;; This program causes the ABCL compiler to generate code it cannot load.
;;;
;;; The code compiles and loads correctly if you do any of the following:
;;;   * change BUFSIZE to be 'INTEGER instead of '(INTEGER 0 100)
;;;   * delete the INLINE declaration for BUFFER-LENGTH
;;;   * delete the FTYPE declaration for BUFFER-LENGTH
;;;   * delete the TYPE declaration for NEW-CAPACITY

(deftype bufsize () '(integer 0 100))

(declaim (inline buffer-length)
         (ftype (function () bufsize) buffer-length))
(defun buffer-length ()
   (the bufsize 10))

(defun calculate-new-buffer-length (new-capacity)
   (declare (type bufsize new-capacity))
   (min (buffer-length) new-capacity))

[Mark Evenson]

Ticket retargeted after milestone closed

[Mark Evenson]

Ticket retargeted after milestone closed

[Mark Evenson]

Ticket retargeted after milestone closed

[Mark Evenson]

Ticket retargeted after milestone closed

[Mark Evenson]

Ticket retargeted after milestone closed