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 Path: border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.glorb.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: OpenToken 6.0 released References: <85r3rlg6dd.fsf@stephe-leake.org> <85tww5d57k.fsf@stephe-leake.org> <854mo4cp1g.fsf@stephe-leake.org> Date: Mon, 27 Apr 2015 11:43:24 -0500 Message-ID: <85k2wxbjyr.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (windows-nt) Cancel-Lock: sha1:bhO6UT9wllt26ZmiSaWbKw1sREA= MIME-Version: 1.0 Content-Type: text/plain X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: 23d3e553e672fe97f808408889 X-Received-Bytes: 2027 X-Received-Body-CRC: 4010179524 Xref: number.nntp.giganews.com comp.lang.ada:192954 Date: 2015-04-27T11:43:24-05:00 List-Id: AdaMagica writes: > Am Samstag, 25. April 2015 15:31:42 UTC+2 schrieb Stephen Leake: >> AdaMagica writes: >> > May I propose to add pragma Elaborate_Body to all Recognizer >> > subpackages? This will prevent any elaboration problems with calling >> > the Get procedures - otherwise you have to use Elaborate{_All} in >> > every caller of Get. >> > >> > (I see that there is no such pragma e.g. in the Ada Lexer, but I think >> > it is only a coincidence that elaboration does not fail.) >> >> I've never had an elaboration problem when using the default GNAT >> elaboration algorithm. >> Are you using another compiler? > > Gnat in the standard mode implicitly uses an Elaborate_All, you have > to use -gnatE (IIRC) to get Ada RM behaviour. > > Thus other compilers *might* generate elaboration problems. > Elaborate_Body (if possible; under certain circumstances, it cannot be > used) prevents any problems. I gather the answer to my question is "no, I'm not using another compiler, but someone else might". Ok; I'll wait until someone reports an actual problem. I'm not getting paid for this! -- -- Stephe