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,d3447e1f384e2115
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Placement of pragma Convention
Date: 1997/06/24
Message-ID: <dewar.867155824@merv>#1/1
X-Deja-AN: 252233190
References: <5oervk$g07@newshub.atmnet.net>
 <EC8x58.2uJ.0.-s@inmet.camb.inmet.com> <5omp0v$pj@newshub.atmnet.net>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-06-24T00:00:00+00:00
List-Id: <comp.lang.ada>


Chris said

<<Thank you, Tucker, for your clear and complete explanation.

I see the point; however, the distinction between a declaration
of a subprogram and a subprogram_declaration seems to me a fine
one.

>>


One thing that will help guide your intuition here is to think of a one
pass compiler. There is no requirement that Ada compilers only have one
pass, but the semantics of the language is basically designed as though
they do, with only a few exceptions (this is because that which can be
compiled in one pass can be read by a human in one pass!)

Obviously if you give a convention for a subprogram, you need to know
the convention *before* you compile code for the body, hence the perfectly
reasonable restriction that the pragma must appear before the body.