From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Ada 2005 core packages under GNAT-GPL-2007
Date: 14 May 2007 14:11:25 -0700
Date: 2007-05-14T14:11:25-07:00 [thread overview]
Message-ID: <1179177085.116978.75190@w5g2000hsg.googlegroups.com> (raw)
In-Reply-To: <1179174042.304958.299200@p77g2000hsh.googlegroups.com>
On May 14, 1:20 pm, Martin Dowie <martin.do...@btopenworld.com> wrote:
> On 14 May, 18:57, Anh Vo <anhvofrc...@gmail.com> wrote:
>
> > Ada.Assertions package (AI-286 implemented by Martin Dowie) is part of
> > Ada 2005 core packages as indicated by 14.4.2(12/2). However, when
> > compiling codes having "with Ada.Assertions" in the with clause, GNAT
> > displays ..."Ada.Assertions" is not a predefined library unit. GNAT
> > does not seem to recognize it. Should a bug report be in order?
>
> GNAT GPL 2007 doesn't include an implementation of this package but
> you can add one yourself.
Martin,
Thank you very much for your work. I will do just that for now while
learning if this package is required or optional.
According to Ada 2005 LRM, Ada.Assertions is a core package which is
implementation required.
AV
next prev parent reply other threads:[~2007-05-14 21:11 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 [this message]
2007-05-16 3:00 ` Randy Brukardt
2007-05-22 14:41 ` Anh Vo
2007-05-22 14:50 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox