From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada.Calendar.Formatting bug in GNAT?
Date: Sat, 17 Sep 2011 00:59:18 -0500
Date: 2011-09-17T00:59:18-05:00 [thread overview]
Message-ID: <j51cvo$kfs$1@munin.nbi.dk> (raw)
In-Reply-To: e781c174-04fe-4445-9788-c6f619439c5d@l2g2000vbn.googlegroups.com
"Maciej Sobczak" <see.my.homepage@gmail.com> wrote in message
news:e781c174-04fe-4445-9788-c6f619439c5d@l2g2000vbn.googlegroups.com...
...
> I have an additional question, though: why the constraints of
> Day_Duration were not detected at the point of call to Split, but
> rather later on with explicit test on Seconds'Valid? My understanding
> is that this should be checked at the point of call to Split, so that
> additional checks inside Split should not be necessary. A possible
> explanation is that the library was compiled with checks disabled and
> the explicit test was added to cover up for this, but maybe I'm
> missing something here.
My understanding is that the GNAT runtime is always compiled with checks
turned off, so I presume they write explicit checks whenever they are
needed. (We do something similar for the Janus/Ada runtime.)
As for the original problem, it surely sounds like a bug.
Randy.
prev parent reply other threads:[~2011-09-17 5:59 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-09-16 19:55 Ada.Calendar.Formatting bug in GNAT? Maciej Sobczak
2011-09-17 5:59 ` 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