LOOP type declaration issue
Reported by Stas Boukarev on sbcl-devel.
(loop for i from most-negative-
(LET ((I MOST-NEGATIVE-
(DECLARE (TYPE (AND REAL NUMBER) I))
(LET ((#:LOOP-SUM-899 0))
(DECLARE (TYPE FIXNUM #:LOOP-SUM-899))
Where counter has type FIXNUM even though the count becomes a bignum.
Note also the (AND REAL NUMBER) declaration for I: smarter placement of the termination test would allow a FIXNUM declaration there.
|Changed in sbcl:|
|importance:||Undecided → Medium|
|status:||New → Confirmed|