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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e977cd3ab4e49fef X-Google-Attributes: gid103376,public From: Ken Garlington Subject: Re: Question about record rep spec placement Date: 1997/01/18 Message-ID: <32E13261.4BC5@lmtas.lmco.com>#1/1 X-Deja-AN: 210707191 references: <32DCFDAA.2656@lmtas.lmco.com> <32DD307D.7208@watson.ibm.com> <32DE3FAD.17A1@lmtas.lmco.com> content-type: text/plain; charset=us-ascii organization: Lockheed Martin Tactical Aircraft Systems mime-version: 1.0 newsgroups: comp.lang.ada x-mailer: Mozilla 3.01 (Win95; U) Date: 1997-01-18T00:00:00+00:00 List-Id: Robert A Duff wrote: > > In article <32DE3FAD.17A1@lmtas.lmco.com>, > Ken Garlington wrote: > >We will check to see if this is the case. Is there a complete list of > >cases > >related to freezing occurences that are different between Ada83 and Ada? > > Incompatibilities are documented in the AARM. Look at section 13.14, > for lots of verbiage about forcing/freezing. > > However, I should warn you that the Ada 83 rules did not make perfect > sense to me when I wrote the AARM stuff, so the AARM list of differences > is probably incomplete. How can you make a list of differences between > two sets of rules, when you can't quite understand one set of rules? > Note that the Ada 83 rules officially include the AI's. > > In any case, I'm pretty sure that the upward incompatibilities exist > only for extremely obscure cases. Why don't you post your code (or a > boiled-down version of it)? Any decent compiler will tell you which > freezing occurrence is causing the trouble, so it shouldn't be hard to > track this down. I will be surprised if you've run into an upward > incompatibility -- most likely one or the other compiler has a bug. Unfortunately, a different group is using our Ada83 code with their Ada compiler, and the only information I have is that they had to move rep specs out of the private part of the package to get them to compile. They originally reported this to me as a bug in our Ada83 code/compiler, which confused me, and so I posted the question that started this thread. I have forwarded the information you and others have posted here, and they are going to look at the intervening statements to see if they can see what is happening. If I get more information, I will post it. > > - Bob -- LMTAS - The Fighter Enterprise - "Our Brand Means Quality" For job listings, other info: http://www.lmtas.com or http://www.lmco.com