comp.lang.ada
 help / color / mirror / Atom feed
From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Ada 2005 core packages under GNAT-GPL-2007
Date: 14 May 2007 10:57:37 -0700
Date: 2007-05-14T10:57:37-07:00	[thread overview]
Message-ID: <1179165457.315362.25970@e65g2000hsc.googlegroups.com> (raw)

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.

AV




             reply	other threads:[~2007-05-14 17:57 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-05-14 17:57 Anh Vo [this message]
2007-05-14 20:14 ` Ada 2005 core packages under GNAT-GPL-2007 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
replies disabled

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