Re: [Sbcl-devel] Compilation (type inference) bug?

[Alexey D. <ade...@co...>]

John Klein <jk2...@ya...> writes:

> #|
> 
> Hello,
> 
> I got a compilation error with the message 
> 'This shouldn't happen!  Bug?' in the latest
> release 0.8.5 on Debian Linux - also in 0.8.4.
> 
> The complete program is extremely long, but I've attached the
> relevant function and some structure definitions that it needs,
> and this snippet seems to be enough to cause the bug.
> 
> The place where I think the compiler is choking 
> can be found by searching for "BUG HERE"

Thank you for the report. Your code is compiled successfully here with
something resembling 0.8.5.19. But look at this snippet:

   (loop ;; loop over vr constraints, one for each ivr value
    for ivr of-type (unsigned-byte 28) below nvr
    with ivr- of-type (unsigned-byte 28) = (if (> ivr 0) (1- ivr) 1)
    with ivr+ of-type (unsigned-byte 28) = (if (< ivr nvr-1) (1+ ivr) (1- ivr))

Are you sure you really want WITH and not FOR here?

-- 
Regards,
Alexey Dejneka

"Alas, the spheres of truth are less transparent than those of
illusion." -- L.E.J. Brouwer