From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.129.65.77 with SMTP id f13mr1611423ywk.0.1492097913141; Thu, 13 Apr 2017 08:38:33 -0700 (PDT) X-Received: by 10.157.8.17 with SMTP id 17mr75921oty.20.1492097913027; Thu, 13 Apr 2017 08:38:33 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!c45no1850505qtb.1!news-out.google.com!y33ni2732qty.1!nntp.google.com!t52no22111qtb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 13 Apr 2017 08:38:32 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=75.99.9.146; posting-account=s89PEgoAAABHs2ETFyOrCeTQVQJAfzKq NNTP-Posting-Host: 75.99.9.146 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <121d0020-3889-49fa-99f6-572a53e109fd@googlegroups.com> Subject: Re: Elaboration in generic package From: marciant@earthlink.net Injection-Date: Thu, 13 Apr 2017 15:38:33 +0000 Content-Type: text/plain; charset=UTF-8 X-Received-Bytes: 1583 X-Received-Body-CRC: 1636130301 Xref: news.eternal-september.org comp.lang.ada:46584 Date: 2017-04-13T08:38:32-07:00 List-Id: 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.