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.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,45abc3b718b20aa3 X-Google-Attributes: gid103376,public From: ncohen@watson.ibm.com (Norman H. Cohen) Subject: Re: Two ideas for the next Ada standard Date: 1996/09/06 Message-ID: <50q1b8$1c0a@watnews1.watson.ibm.com>#1/1 X-Deja-AN: 178932297 distribution: world references: <5009h5$ir4@netline-fddi.jpl.nasa.gov> <503sbo$j45@goanna.cs.rmit.edu.au> <507akg$t9u@krusty.irvine.com> organization: IBM T.J. Watson Research Center reply-to: ncohen@watson.ibm.com newsgroups: comp.lang.ada Date: 1996-09-06T00:00:00+00:00 List-Id: In article , dewar@cs.nyu.edu (Robert Dewar) writes: |> Two things we have considered adding as options to GNAT, which are not |> extensions, merely source representation issues, are to allow the |> private part to appear in a separate file, or to allow it to appear |> in the body. |> |> The one glitch, which is a little uneasy, and is where some language help |> would have been nice, is if you could have with statements that applied |> only to the private part. Surely that could also be explained away as a "source representation issue": A with clause in a .adp file (a separately compiled private part) is just a representation of the identical with clause appearing on the entire package spec. The source-representation argument can be used to justify any language extension whose use can be transformed statically into what we would all recognize as standard Ada. The argument is easily abused, and I think that anyone applying that argument too extremely will lose his credibility. -- Norman H. Cohen ncohen@watson.ibm.com