From: marciant@earthlink.net
Subject: Re: Elaboration in generic package
Date: Thu, 13 Apr 2017 08:38:32 -0700 (PDT)
Date: 2017-04-13T08:38:32-07:00 [thread overview]
Message-ID: <121d0020-3889-49fa-99f6-572a53e109fd@googlegroups.com> (raw)
In-Reply-To: <ly60i9bf06.fsf@pushface.org>
IANALL (I am not a language lawyer :)
> They wonder how the call to reallyComplicatedFunction at line 10
> succeeds, given it looks like its body hasn't been seen yet (ARM
> 3.11(10)).
The executable code "comes to life" at instantiation. So if
> ... ARM 3.11(13), "For the instantiation of a generic unit
> that has a body, a check is made that this body is already elaborated."
is an 'is this elaboration of an instance legal' check then the body
is always available and therefore the call toi complicated function will
succeed.
prev parent reply other threads:[~2017-04-13 15:38 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-04-12 19:30 Elaboration in generic package Simon Wright
2017-04-12 22:29 ` Randy Brukardt
2017-04-13 7:19 ` Simon Wright
2017-04-13 15:38 ` marciant [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox