comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: a bug in code shown in ada2012 rational or is it me?
Date: Thu, 21 Jun 2012 15:10:24 -0500
Date: 2012-06-21T15:10:24-05:00	[thread overview]
Message-ID: <jrvv3i$bmo$1@munin.nbi.dk> (raw)
In-Reply-To: jrsl7g$33m$1@speranza.aioe.org

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1104 bytes --]

I forwarded this thread to John Barnes, so it ought to get fixed when he 
gets around to revising the existing part of the Rationale. FYI, I sent him 
a list of 51 bugs I found when I created (the not yet finished) HTML 
version, so it's not quite a foolproof document at this time. :-)

                                    Randy.

"Nasser M. Abbasi" <nma@12000.org> wrote in message 
news:jrsl7g$33m$1@speranza.aioe.org...
> On 6/20/2012 5:44 AM, Egil H�vik wrote:
>> On Wednesday, June 20, 2012 12:09:00 PM UTC+2, Nasser M. Abbasi wrote:
>>>    function T(N: Natural) return Long_Long_Float is
>>>     (if N = 0 then 0.25 else
>>>        (T(N�1)�2.0**(N�1)*A(N�1)�A(N))**2);
>>
>> Should be:
>>
>>     function T(N: Natural) return Long_Long_Float is
>>      (if N = 0 then 0.25 else
>>         T(N�1)�2.0**(N�1)*(A(N�1)�A(N))**2);
>>
>
> thank you. I verified that I get Pi now with the above change.
>
> May be someone at Adacore can update the pdf file on that web site,
> as it is not good to have this typo in the code given it is an
> Ada 2012 document.
>
> --Nasser
> 





      reply	other threads:[~2012-06-21 20:10 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-06-20 10:09 a bug in code shown in ada2012 rational or is it me? Nasser M. Abbasi
2012-06-20 10:33 ` Egil Høvik
2012-06-20 10:44 ` Egil Høvik
2012-06-20 14:03   ` Nasser M. Abbasi
2012-06-21 20:10     ` Randy Brukardt [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox