[Sbcl-bugs] loop macro bug, "from 0 by 0"

[larice <rob...@t-...>]

Hello,

  on debian wheezy, with
    This is SBCL 1.0.57.0.debian

    (loop
       repeat 3
       for r from 0 by 0
       collect r)

  yields condition:


Value of 0 in
  (LET ((#:LOOP-REPEAT-1219 (CEILING 3))
        (R 0)
        (#:LOOP-STEP-BY-1220 0))
    (DECLARE (TYPE (AND NUMBER (REAL (0))) #:LOOP-STEP-BY-1220)
             (TYPE NUMBER R)
             (TYPE INTEGER #:LOOP-REPEAT-1219))
    (SB-LOOP::WITH-LOOP-LIST-COLLECTION-HEAD (#:LOOP-LIST-HEAD-1221
                                              #:LOOP-LIST-TAIL-1222)
      (SB-LOOP::LOOP-BODY NIL
                          ((IF (<= #:LOOP-REPEAT-1219 0)
                               (GO SB-LOOP::END-LOOP)
                               (DECF #:LOOP-REPEAT-1219))
                           NIL NIL NIL NIL)
                          ((SB-LOOP::LOOP-COLLECT-RPLACD
                            (#:LOOP-LIST-HEAD-1221
                             #:LOOP-LIST-TAIL-1222)
                            (LIST R)))
                          ((IF (<= #:LOOP-REPEAT-1219 0)
                               (GO SB-LOOP::END-LOOP)
                               (DECF #:LOOP-REPEAT-1219))
                           NIL
                           (SB-LOOP::LOOP-REALLY-DESETQ R
                                                        (+ R
                                                           #:LOOP-STEP-BY-1220))
                           NIL NIL)
                          ((RETURN-FROM NIL
                             (SB-LOOP::LOOP-COLLECT-ANSWER
                              #:LOOP-LIST-HEAD-1221))))))

is
  0,
not a
  (OR (SINGLE-FLOAT (0.0)) (DOUBLE-FLOAT (0.0d0))
      (RATIONAL (0))).
   [Condition of type SIMPLE-TYPE-ERROR]


  I've not checked whether thats an already
    fixed or known issue,
  neither did I try to spot the problem
    in above macro expansion

Thanks for sbcl,
  Robert