From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Ada 2005 core packages under GNAT-GPL-2007
Date: Mon, 14 May 2007 22:14:49 +0200
Date: 2007-05-14T22:14:49+02:00 [thread overview]
Message-ID: <87sl9zmabq.fsf@ludovic-brenta.org> (raw)
In-Reply-To: 1179165457.315362.25970@e65g2000hsc.googlegroups.com
Anh Vo writes:
> 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?
> Thanks.
Yes, I suppose so. AdaCore claim that GNAT GPL 2007 "includes all the
core features of the Ada 2005 language revision", and I was wondering
what was the difference between a "core feature" and a "feature". It
could be that Ada.Assertions is in the latter category :)
--
Ludovic Brenta.
next prev parent reply other threads:[~2007-05-14 20:14 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox