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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c319c681003d3e4c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-09-16 10:55:54 PST Path: bga.com!news.sprintlink.net!howland.reston.ans.net!math.ohio-state.edu!cs.utexas.edu!uunet!psinntp!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody From: dewar@cs.nyu.edu (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: Static in 9X Date: 15 Sep 1994 09:37:32 -0400 Organization: Courant Institute of Mathematical Sciences Message-ID: <359ims$lpj@gnat.cs.nyu.edu> References: <940914130023_73672.2025_DHR31-2@CompuServe.COM> NNTP-Posting-Host: gnat.cs.nyu.edu Date: 1994-09-15T09:37:32-04:00 List-Id: These seem very straightforward questions, answered in an accessible way by the rules in the RM (and note I am not one to generally say that the 9X RM is easy to read). 1,2,3,5 are of course non-static. I have no idea why anyone would think that the rules in the RM even suggest for a moment that they are static, so it is hard to quote specific rules. The RM rules basically say what *is* static, and none of these rules cover any of these cases. 4 is static, because of para 9 ("a type conversion whose subtype mark denotes a static scalar subtype, and whose operand is a potentially static expression) I don't see that an Ada vendor is particularly in the business of interpreting language rules like this, though in practice quite a few "bugs" submitted are just misunderstandings of the language (we find this in GNAT bugs for example). What would be useful is for you to explain why you thought that the other cases (1 = composite type, 2 = record field, 3 = user defined function, 5 = unchecked conversion) were possibly covered by any of the items in paras 3-12. That might give a clue as to something that is not as clear as it should be in the RM.