Steel Bank Common Lisp

Andras Simon <asimon@...> writes:

> Macroexpanding the form
> 
> (loop with foo of-type (single-float 1.0 2.0) = 1.5)
> 
> fails with
> 
> 0 can't be converted to type (SINGLE-FLOAT 1.0 2.0).
>    [Condition of type SIMPLE-TYPE-ERROR]
> 
> Where does this 0 come from? 

>From LOOP-TYPED-INIT (in src/code/loop.lisp).

-- 
Juho Snellman

Juho Snellman <jsnell@...> writes:

> Andras Simon <asimon@...> writes:
> 
> > Macroexpanding the form
> > 
> > (loop with foo of-type (single-float 1.0 2.0) = 1.5)
> > 
> > fails with
> > 
> > 0 can't be converted to type (SINGLE-FLOAT 1.0 2.0).
> >    [Condition of type SIMPLE-TYPE-ERROR]
> > 
> > Where does this 0 come from? 
> 
> From LOOP-TYPED-INIT (in src/code/loop.lisp).

OK, thanks, now I see where but not why, when the local variable is
initialized by the user. Is this a bug or a DWIM thing (sometimes it's
hard to tell those apart) or something else?

Andras

Andras Simon wrote:

>>> (loop with foo of-type (single-float 1.0 2.0) = 1.5)
>>>
>>> fails with
>>>
>>> 0 can't be converted to type (SINGLE-FLOAT 1.0 2.0).
>>>    [Condition of type SIMPLE-TYPE-ERROR]

> OK, thanks, now I see where but not why, when the local variable is
> initialized by the user. Is this a bug or a DWIM thing (sometimes it's
> hard to tell those apart) or something else?

Bug, fixed in 1.0.3.42. Thanks for the report!

Cheers,

   -- Nikodemus

Nikodemus Siivola <nikodemus@...> writes:

> Andras Simon wrote:
> 
> >>> (loop with foo of-type (single-float 1.0 2.0) = 1.5)
> >>>
> >>> fails with
> >>>
> >>> 0 can't be converted to type (SINGLE-FLOAT 1.0 2.0).
> >>>    [Condition of type SIMPLE-TYPE-ERROR]
> 
> > OK, thanks, now I see where but not why, when the local variable is
> > initialized by the user. Is this a bug or a DWIM thing (sometimes it's
> > hard to tell those apart) or something else?
> 
> Bug, fixed in 1.0.3.42. Thanks for the report!

Thanks for fixing it!

Andras