Steel Bank Common Lisp

type-error during compilation of ARRAY-IN-BOUNDS-P

Reported by Nikodemus Siivola on 2011-08-15
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Medium
Unassigned

Bug Description

from sbcl-bugs:

* (lambda (a b c)
    (declare (type (member -2 1) b))
    (array-in-bounds-p a 4 b c))
debugger invoked on a TYPE-ERROR :
 The value #<SB-KERNEL:UNION-TYPE (OR (INTEGER -2 -2) (INTEGER 1 1))>
 is not of type SB-KERNEL:NUMERIC-TYPE.

Nikodemus Siivola (nikodemus) wrote :
Nikodemus Siivola (nikodemus) wrote :

commit f5907ea4f056a287022e4bce93c9b711b4133e5e
Author: Nikodemus Siivola <email address hidden>
Date: Tue Aug 16 00:21:54 2011 +0300

    use WEAKEN-INTEGER-TYPE in ARRAY-IN-BOUNDS-P

      The type of the bound might be a union-type. WEAKEN-INTEGER-TYPE
      gives us the ends of a range.

      lp#826970

Changed in sbcl:
assignee: Nikodemus Siivola (nikodemus) → nobody
status: In Progress → 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