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,6a9844368dd0a842 X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: seperate keyword and seperate compilation with Gnat? Date: 1996/07/09 Message-ID: #1/1 X-Deja-AN: 167588567 references: <31D95D93.28D8D15B@jinx.sckans.edu> <4rckva$dj1@Starbase.NeoSoft.COM> organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.ada Date: 1996-07-09T00:00:00+00:00 List-Id: Jon says "I was not saying that the statement _should_ have been in the standard. I can actually accept that the RM as it stands is clear enough on the issue. My only point is (and it _still_ is) that the statement is FAR clearer than what the RM actually says." But you are looking at things in isolation, which is always misleading. If you intend to use your approach here, then you must consider the full changes to the RM to accomodate this approach. If you simply add your statement as normative text, then it is redundant, and redundancy, while useful in tutorial material is the enemy of precise definition. So that means you have to remove stuff to add your statement. I don' t see how that would work, since your negative statement still seems pretty content free to me in definitional terms. But it would be interesting to see how you would rewrite the whole section. I very much doubt it would be clearer, but of course one cannot be sure without seeing the entire section rewritten.