comp.lang.ada
 help / color / mirror / Atom feed
From: "Jean-Pierre Rosen" <rosen@adalog.fr>
Subject: Re: Instanciation in a package spec.
Date: Thu, 23 Jan 2003 11:54:53 +0100
Date: 2003-01-23T11:54:53+01:00	[thread overview]
Message-ID: <b0ohm1$6e4$1@s1.read.news.oleane.net> (raw)
In-Reply-To: wccel752ki5.fsf@shell01.TheWorld.com

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 804 bytes --]


"Robert A Duff" <bobduff@shell01.TheWorld.com> a �crit dans le message de news: wccel752ki5.fsf@shell01.TheWorld.com...
> "Grein, Christoph" <christoph.grein@eurocopter.com> writes:
>
> > > * GNAT 3.15p issues:
> > >   pascalhe.ads:135:03: warning: cannot instantiate "Ad_hoc" before body seen
> > >   pascalhe.ads:135:03: warning: Program_Error will be raised at run time
> >
> > Believe Gnat. It's a RM rule to forbid instantiations before elaboration of the body.
>
> A very annoying rule, indeed.
>
????
Since the body of the instance is elaborated at the point of instanciation, the body of the
generic has better been elaborated already....

--
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr





  reply	other threads:[~2003-01-23 10:54 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-01-22 10:48 Instanciation in a package spec Grein, Christoph
2003-01-22 16:54 ` Robert A Duff
2003-01-23 10:54   ` Jean-Pierre Rosen [this message]
2003-01-23 14:19     ` Robert A Duff
2003-01-23 15:13       ` Dmitry A. Kazakov
2003-01-23 16:23         ` Robert A Duff
2003-01-25 11:04           ` Dmitry A. Kazakov
2003-01-23 15:13       ` Jean-Pierre Rosen
2003-01-23 16:14         ` Robert A Duff
  -- strict thread matches above, loose matches on Subject: below --
2003-01-22 10:22 Gautier direct_replies_not_read
2003-01-22 17:53 ` Martin Dowie
replies disabled

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