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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d754b1fad3846b22
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-06-06 09:24:07 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.mathworks.com!news.mathworks.com!uunet!ash.uu.net!xyzzy!nntp
From: Jeffrey Carter <jeffrey.carter@boeing.com>
Subject: Re: Calling all language lawyers....
X-Nntp-Posting-Host: e246420.msc.az.boeing.com
Content-Type: text/plain; charset=us-ascii
Message-ID: <3B1E51B5.349AC7E@boeing.com>
Sender: nntp@news.boeing.com (Boeing NNTP News Access)
Content-Transfer-Encoding: 7bit
Organization: The Boeing Company
X-Accept-Language: en
References: <3B1E34E1.70D8BD0@ftw.rsc.raytheon.com>
Mime-Version: 1.0
Date: Wed, 6 Jun 2001 15:52:21 GMT
X-Mailer: Mozilla 4.5 [en]C-CCK-MCD Boeing Kit  (WinNT; U)
Xref: archiver1.google.com comp.lang.ada:8241
Date: 2001-06-06T15:52:21+00:00
List-Id: <comp.lang.ada>

Wes Groleau wrote:
> 
> Is there anything anywhere that prohibits using a subtype
> in pragma Convention?  I've dug around in Annex B in the
> RM & AARM and found no such language.  (Nor did I find any
> requiring it to be supported.)

I am not a language lawyer, nor do I play one on TV.

Since all types in Ada are anonymous, only subtype names may be used for
the Entity parameter of pragma Convention. However, the notes say
"Implementations may place restrictions on interfacing pragmas ...", so
an implementation may restrict the Entity parameter to be the
first-named subtype of a type.

-- 
Jeffrey Carter