Failed AVER when compiling coerce to a bad complex type

Bug #1753278 reported by Paul F. Dietz on 2018-03-04
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(lambda (x) (coerce x '(complex number))) ;; bad complex type as number is not a subtype of real

==>

failed AVER: (SB-INT:NEQ SB-KERNEL::BASE+BOUNDS 'REAL)
[...]
  0: [error printing frame]
  1: [error printing frame]
  2: [error printing frame]
  3: [error printing frame]
  4: [error printing frame]
  5: (SB-C::COMPUTE-ENTRY-INFO #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TL-XEP (LAMBDA #)) :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :..
  6: (SB-C::ENTRY-ANALYZE #<SB-C:COMPONENT :NAME (LAMBDA (X)) {100B232393}>)
  7: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (X)) {100B232393}>)
[...]

Stas Boukarev (stassats) wrote :

fddee272f9246a25c0375643ff5a72a2691f0657

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats) on 2018-03-31
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