type= decision problem involving union types

Bug #308937 reported by Nikodemus Siivola on 2008-12-17
Affects Status Importance Assigned to Milestone

Bug Description

  Found while investigating an optimization failure for extended
  sequences. The extended sequence type implementation was altered to
  work around the problem, but the fundamental problem remains, to wit:
    (sb-kernel:type= (sb-kernel:specifier-type '(or float ratio))
                     (sb-kernel:specifier-type 'single-float))
  returns NIL, NIL on sbcl-1.0.3.
  (probably related to bug #308938)

Changed in sbcl:
importance: Undecided → Medium
status: New → Confirmed
description: updated
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers