From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Ada 2005 core packages under GNAT-GPL-2007
Date: 22 May 2007 07:50:28 -0700
Date: 2007-05-22T07:50:28-07:00 [thread overview]
Message-ID: <1179845428.657941.131700@z28g2000prd.googlegroups.com> (raw)
In-Reply-To: <f2ds0u$nfd$1@jacob-sparre.dk>
On May 15, 8:00 pm, "Randy Brukardt" <r...@rrsoftware.com> wrote:
> "Anh Vo" <anhvofrc...@gmail.com> wrote in message
>
> news:1179177085.116978.75190@w5g2000hsg.googlegroups.com...
> ...
>
> > > GNAT GPL 2007 doesn't include an implementation of this package but
> > > you can add one yourself.
> ...
> > According to Ada 2005 LRM, Ada.Assertions is a core package which is
> > implementation required.
>
> I agree. 11.4.2(11/2) says "The following language-defined package exists:"
> followed by the definition of Ada.Assertions. It doesn't say that it might
> exist if you compile it yourself...I think that's pretty much always true!
I reported it. Actually, the issue had been logged prior to my report
according to Robert.
AV
prev parent reply other threads:[~2007-05-22 14:50 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-05-14 17:57 Ada 2005 core packages under GNAT-GPL-2007 Anh Vo
2007-05-14 20:14 ` Ludovic Brenta
2007-05-14 20:20 ` Martin Dowie
2007-05-14 21:11 ` Anh Vo
2007-05-16 3:00 ` Randy Brukardt
2007-05-22 14:41 ` Anh Vo
2007-05-22 14:50 ` Anh Vo [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