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.2 required=5.0 tests=BAYES_00,FROM_WORDY, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fd3a5ba6349a6060 X-Google-Attributes: gid103376,public From: "Nick Roberts" Subject: Semantic info pragmas (was: should I be interested in ada?) Date: 1999/02/27 Message-ID: <7b8cv9$ii5$1@plug.news.pipex.net>#1/1 X-Deja-AN: 449223742 References: <7a72e6$g55$1@probity.mcc.ac.uk><36C93BB4.1429@ecs.soton.ac.uk><7afc1o$3mi$2@plug.news.pipex.net><7afttr$7v3$1@nnrp1.dejanews.com><7aganu$qsc$1@plug.news.pipex.net><36CC3AEA.59E2@lanl.gov><7ai502$6an$1@nnrp1.dejanews.com><36CD8DBA.237C@lanl.gov> <7b2545$4qd$2@plug.news.pipex.net> X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 Organization: UUNET WorldCom server (post doesn't reflect views of UUNET WorldCom) Newsgroups: comp.lang.ada Date: 1999-02-27T00:00:00+00:00 List-Id: Robert A Duff wrote in message ... |> I suggest pragmas in another post, which I think could be workable. They |> can't be used to change the semantics of any construct, ... | |Where do you get *that* idea? RM95 2.8(16) states "Normally, implementation-defined pragmas should have no semantic effect for error-free programs; ...," so I should have said 'shouldn't' rather than 'can't'. I think this is an area where there would be no good excuse for introducing implementation-defined pragmas which did change the semantics. Note that a careful distinction needs to be made here between a pragma which _changes_ the semantics of a construct, and a pragma which informs the compiler of a semantic characteristic which (in the absence of errors) the construct _already has_ (but which the compiler might not be able to deduce on its own). Note also (for the benefit of the pedants among us :-) that I am not including execution timing in the meaning of the word 'semantics' in this context (and I assume the same is true of the RM95). ------------------------------------- Nick Roberts -------------------------------------