Opened 9 years ago

Last modified 17 months ago

#397 new defect

Compiler error

Reported by: Mark Evenson Owned by:
Priority: major Milestone: 1.9.3
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 (13)

comment:1 Changed 8 years ago by Mark Evenson

Milestone: 1.4.01.5.0

Ticket retargeted after milestone closed

comment:2 Changed 7 years ago by Mark Evenson

Milestone: 1.5.01.6.0

Ticket retargeted after milestone closed

comment:3 Changed 5 years ago by Mark Evenson

Milestone: 1.6.01.6.1

Ticket retargeted after milestone closed

comment:4 Changed 5 years ago by Mark Evenson

Milestone: 1.6.11.6.2

Ticket retargeted after milestone closed

comment:5 Changed 4 years ago by Mark Evenson

Milestone: 1.6.21.7.0

comment:6 Changed 4 years ago by Mark Evenson

Milestone: 1.7.01.7.1

Ticket retargeted after milestone closed

comment:7 Changed 4 years ago by Mark Evenson

Milestone: 1.7.11.7.2

Ticket retargeted after milestone closed

comment:8 Changed 4 years ago by Mark Evenson

Milestone: 1.7.21.8.0

Milestone renamed

comment:9 Changed 4 years ago by Mark Evenson

Milestone: 1.8.01.8.1

Ticket retargeted after milestone closed

comment:10 Changed 3 years ago by Mark Evenson

Milestone: 1.8.11.9.0

comment:11 Changed 21 months ago by Mark Evenson

Milestone: 1.9.01.9.1

comment:12 Changed 21 months ago by Mark Evenson

Milestone: 1.9.11.9.2

comment:13 Changed 17 months ago by Mark Evenson

Milestone: 1.9.21.9.3
Note: See TracTickets for help on using tickets.