[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] sbcl port

From: Waldek Hebisch
Subject: Re: [Axiom-developer] sbcl port
Date: Fri, 18 May 2007 15:58:07 +0200 (CEST)

Gregory Vanuxem wrote:
> Le lundi 14 mai 2007 ? 01:08 +0200, Waldek Hebisch a écrit
> [...]
> > 3) The reclos test do not finish, it looks that 
> > 
> > relativeApprox(squareDiff8,10**(-3))::Float
> > 
> > line goes into infinite loop.
> Does
> )lis (gcd 8 most-negative-fixnum)
> return the gcd ?
> If not it's a bug in SBCL (x86_64). I reported it some
> times ago and didn't receive any response. Maybe another
> report with an example will help (I patch sb-kernel::two-arg-gcd each
> time I upgrade SBCL).

Thanks for info.  Yes, as of 1.0.4 declarations in two-arg-gcd are
blatantly wrong.  I must say that it is strange that the code works
at all (C compiler would immediatly punish them with non-working
code).  I also looked at SBCL CVS repository and the wrong code is
still there...

I remeber that you wrote about SBCL bug, but I supected that you
mean that SBCL miscompiles some parts of AXIOM -- build log suggests
that some routines are miscompiled. 

After patching two-arg-gcd it seems that my private version passes
all tests (modulo missing writablep function and fake sockets).

                              Waldek Hebisch

reply via email to

[Prev in Thread] Current Thread [Next in Thread]