Another derived double type

Bug #1910320 reported by Paul F. Dietz on 2021-01-06
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(lambda (a)
  (let ((v3 (mod -942847873023899 (min -21 a))))
    (if (> v3 0)
        (the integer v3)
        0)))

==>

; in: LAMBDA (A)
; (THE INTEGER V3)
;
; caught WARNING:
; Derived type of V3 is
; (VALUES (OR (DOUBLE-FLOAT (0.0d0)) (SINGLE-FLOAT (0.0))) &OPTIONAL),
; conflicting with its asserted type
; INTEGER.
; See also:
; The SBCL Manual, Node "Handling of Types"
;
; compilation unit finished
; caught 1 WARNING condition
#<FUNCTION (LAMBDA (A)) {5366EB2B}>

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers