Steel Bank Common Lisp

Compilation failure involving constant types

Reported by Stas Boukarev on 2011-03-05
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
High
Unassigned

Bug Description

Reported by Eric Marsden on sbcl-devel:

(lambda (a b)
  (declare ((integer 1 1) a)
           ((integer 0 1) b)
           (optimize debug))
  (lambda () (< b a)))
causes compailer to fail with "The value NIL is not of type NUMBER." error.

Bisecting reveals (thanks to Xach) the following commit http://git.boinkor.net/gitweb/sbcl.git/commitdiff/f2218c68ed978533fc46830ac81f4517fefe5a2a

Paul Khuong (pvk) wrote :

Kludged over in 6596b18.

Changed in sbcl:
status: Triaged → Fix Committed
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers