Opened 5 years ago

Last modified 12 days ago

#397 new defect

Compiler error

Reported by: Mark Evenson Owned by:
Priority: major Milestone: 1.8.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))

Change History (8)

comment:1 Changed 4 years ago by Mark Evenson

Milestone: 1.4.01.5.0

Ticket retargeted after milestone closed

comment:2 Changed 3 years ago by Mark Evenson

Milestone: 1.5.01.6.0

Ticket retargeted after milestone closed

comment:3 Changed 10 months ago by Mark Evenson

Milestone: 1.6.01.6.1

Ticket retargeted after milestone closed

comment:4 Changed 5 months ago by Mark Evenson

Milestone: 1.6.11.6.2

Ticket retargeted after milestone closed

comment:5 Changed 4 months ago by Mark Evenson

Milestone: 1.6.21.7.0

comment:6 Changed 4 months ago by Mark Evenson

Milestone: 1.7.01.7.1

Ticket retargeted after milestone closed

comment:7 Changed 2 months ago by Mark Evenson

Milestone: 1.7.11.7.2

Ticket retargeted after milestone closed

comment:8 Changed 12 days ago by Mark Evenson

Milestone: 1.7.21.8.0

Milestone renamed

Note: See TracTickets for help on using tickets.