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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.182.107.164 with SMTP id hd4mr60565817obb.33.1420211478855; Fri, 02 Jan 2015 07:11:18 -0800 (PST) X-Received: by 10.140.23.208 with SMTP id 74mr4839qgp.23.1420211478791; Fri, 02 Jan 2015 07:11:18 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.glorb.com!h15no34908109igd.0!news-out.google.com!n9ni77qai.0!nntp.google.com!bm13no2777336qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 2 Jan 2015 07:11:18 -0800 (PST) In-Reply-To: <176076d0-ca97-46b5-8b6f-81e9289643c4@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=206.53.78.59; posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy NNTP-Posting-Host: 206.53.78.59 References: <_3spw.995330$Fo3.305798@fx09.iad> <176076d0-ca97-46b5-8b6f-81e9289643c4@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Elaboration Question From: sbelmont700@gmail.com Injection-Date: Fri, 02 Jan 2015 15:11:18 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:24316 Date: 2015-01-02T07:11:18-08:00 List-Id: On Friday, January 2, 2015 6:08:24 AM UTC-5, Mark Lorenzen wrote: > > What strategy would you use when writing a library in Ada, that is to be called from e.g. a program written in C? > The onus is on the calling code to ensure elaboration happens correctly. The best strategy to use from the library-side is to just make sure all your code is Preelaborate (or Pure), and the problem solves itself. -sb