From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Generic instantiation before actual subprogram body
Date: Thu, 04 Dec 2014 10:31:37 +0100
Date: 2014-12-04T10:31:37+01:00 [thread overview]
Message-ID: <m5p9la$s0u$1@dont-email.me> (raw)
In-Reply-To: <slrnm80802.nrc.lithiumcat@nat.rebma.instinctive.eu>
Le 04/12/2014 09:48, Natasha Kerensikova a écrit :
> My question is now, in which set of circumstances is it allowed (or
> forbidden) to instantiate a generic with a subprogram whose body has not
> yet been seen by the compiler?
RM2012(11.5(20)):
"When [...] a generic instantiation is elaborated, check that the body
of the corresponding unit has already been elaborated."
FYI: to find it, go to the index, and follow the references for
"Program_Error".
--
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
next prev parent reply other threads:[~2014-12-04 9:31 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 [this message]
2014-12-04 10:03 ` Natasha Kerensikova
2014-12-04 10:40 ` Georg Bauhaus
2014-12-04 14:12 ` J-P. Rosen
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