SBCL

defining a type does not update already parsed undefined type

Bug #309128 reported by Nikodemus Siivola
2
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Medium
Unassigned

Bug Description

(let* ((s (gensym))
       (t1 (sb-kernel:specifier-type s)))
    (eval `(defstruct ,s))
    (sb-kernel:csubtypep t1 (sb-kernel:specifier-type s))) ; => NIL, NIL

Same issue for TYPE= was fixed in 0.8.1.24.

See original description
Tags: types
Nikodemus Siivola (nikodemus)
description: updated
Changed in sbcl:
importance: Undecided → Medium
status: New → Confirmed
Revision history for this message
Nikodemus Siivola (nikodemus) wrote :

In SBCL 1.0.36.32.

Changed in sbcl:
status: Confirmed → Fix Committed
Christophe Rhodes (csr21-cantab)
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.