The function SB-KERNEL:SINGLE-FLOAT-SIGN is undefined.

Bug #1838337 reported by Paul F. Dietz
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Undecided
Unassigned

Bug Description

(defun f375 (p1)
  (declare (type (eql -96088.234) p1))
  (float-sign
   (the single-float
        (labels ((%f () (the real p1))) (%f))
        )))

(f375 -96088.234) ==>

The function SB-KERNEL:SINGLE-FLOAT-SIGN is undefined.
   [Condition of type UNDEFINED-FUNCTION]

Restarts:
 0: [CONTINUE] Retry calling SB-KERNEL:SINGLE-FLOAT-SIGN.
 1: [USE-VALUE] Call specified function.
 2: [RETURN-VALUE] Return specified values.
 3: [RETURN-NOTHING] Return zero values.
 4: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: ("undefined function" -96088.234)
  1: (SB-INT:SIMPLE-EVAL-IN-LEXENV (F375 -96088.234) #<NULL-LEXENV>)
  2: (EVAL (F375 -96088.234))
[...]

Revision history for this message
Paul F. Dietz (paul-f-dietz) wrote :

(defun f375a (f)
  (declare (type (function () (eql 1.0)) f))
  (float-sign (the single-float (flet ((%f () (funcall f))) (%f)))))

(f375a 1.0) ==> same error

Revision history for this message
Paul F. Dietz (paul-f-dietz) wrote :

Rather, (f375a (lambda () 1.0))

Revision history for this message
Stas Boukarev (stassats) wrote :

cc2eeb58834f4babf95411e6e63338e14379fed8

Changed in sbcl:
status: New → Fix Committed
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.

Other bug subscribers

Remote bug watches

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