Re: [Sbcl-devel] Bug: incorrect handling of THE declarations

[Paul K. <pv...@pv...>]

On 2011-09-24, at 11:35 AM, Paul Khuong wrote:

> On 2011-09-21, at 8:56 AM, Eric Marsden wrote:
> 
>> This happens on both Linux/AMD64 and Linux/x86. 
>> 
>> ,----
>> | * (lisp-implementation-version)
>> | "1.0.51.35-96aa790"
>> | * (LAMBDA (P1 P2 P3)
>> |     (IF P1
>> |         (THE (MEMBER #C(1.2d0 1d0)) P2)
>> |         (THE (EQL #C(1.0 1.0)) P3)))
>> | #<FUNCTION (LAMBDA (P1 P2 P3)) {1003266B39}>
>> | * (funcall * 1 #C(1.2d0 1d0) #C(1.0 1.0))
>> | #C(0.0 0.0)
>> `----
> 
> Thanks for the report!
> 
> This is actually a very old bug (1.0.12.18) in the computation of primitive type for member types.
> 
> I'll commit a fix after the freeze.

Committed as 082940f.

Paul Khuong