Compilation failure involving constant types

Bug #729765 reported by Stas Boukarev on 2011-03-05
This bug affects 1 person
Affects Status Importance Assigned to Milestone

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

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