comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Generic instantiation before actual subprogram body
Date: Thu, 04 Dec 2014 15:12:46 +0100
Date: 2014-12-04T15:12:46+01:00	[thread overview]
Message-ID: <m5pq4e$s05$1@dont-email.me> (raw)
In-Reply-To: <slrnm80cc9.nrc.lithiumcat@nat.rebma.instinctive.eu>

Le 04/12/2014 11:03, Natasha Kerensikova a écrit :
> This is the body of the generic unit, while my question was about the
> body of the actual subprograms use in the generic instantiation to match
> for the formal subprogram parameters in the generic.

OK, my mistake. I don't see any reason while the actual should be
elaborated when you instantiate the generic. Of course, it has to be
elaborated when you call it, and such a call can happen as part of the
elaboration of the body of the generic, but you noticed that already.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr


  parent reply	other threads:[~2014-12-04 14:12 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-12-04  8:48 Generic instantiation before actual subprogram body Natasha Kerensikova
2014-12-04  9:31 ` J-P. Rosen
2014-12-04 10:03   ` Natasha Kerensikova
2014-12-04 10:40     ` Georg Bauhaus
2014-12-04 14:12     ` J-P. Rosen [this message]
2014-12-04 15:34     ` Robert A Duff
2014-12-04 15:49 ` Robert A Duff
2014-12-04 22:49   ` Randy Brukardt
replies disabled

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