Steel Bank Common Lisp

bogus type warning

Reported by Tobias C. Rittweiler on 2010-04-26
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

Compiling the following

  (defun frob (timeout)
    (let ((start-time (and timeout (get-internal-real-time))))
      (when timeout
        (- (get-internal-real-time) start-time))))

results in

  ; in: DEFUN FROB
  ; (AND TIMEOUT (GET-INTERNAL-REAL-TIME))
  ; --> IF
  ; ==>
  ; NIL
  ;
  ; caught WARNING:
  ; This is not a NUMBER:
  ; NIL
  ; See also:
  ; The SBCL Manual, Node "Handling of Types"
  ;
  ; compilation unit finished
  ; caught 1 WARNING condition

I think that's the same issue as the infamous CL-PPCRE + SBCL annoyance
where some macro expands to similiar code, causing SBCL to emit warnings.

Paul worked on something to fix it, IIRC.

It's similiar to Bug #309451 however that talks about downgrading to style-
warning that I do not see.

Paul Khuong (pvk) on 2010-04-26
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  Edit
Everyone can see this information.

Other bug subscribers