Opened 20 months ago

Last modified 7 months ago

#397 new defect

Compiler error

Reported by: mevenson Owned by:
Priority: major Milestone: 1.5.0
Component: compiler Version: 1.4.0-dev
Keywords: Cc:
Parent Tickets:

Description

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

Subtickets (add)

Change History (1)

comment:1 Changed 7 months ago by mevenson

  • Milestone changed from 1.4.0 to 1.5.0

Ticket retargeted after milestone closed

Note: See TracTickets for help on using tickets.