Re: Calling all language lawyers....

[Tucker Taft <stt@averstar.com>]

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'm porting some code that did this to a compiler
> that doesn't allow it.

Pragma convention defines a type-related convention
(all subtypes of a type have the same convention), so
it only makes sense to apply it to a first subtype.

The proof that pragma convention is type-related is
based on the statement in RM95 13.1(8) which
says only Size and Alignment clauses specify subtype-specific
representation aspects.  All other representation items
identifying subtypes are specifying type-related representation
aspects.  Pragma convention specifies the "convention"
aspect of representation (RM95 B.1(28)).
> 
> --
> Wes Groleau
> http://freepages.rootsweb.com/~wgroleau

-- 
-Tucker Taft   stt@avercom.net   http://www.avercom.net
Chief Technology Officer, AverCom Corporation (A Titan Company) 
Burlington, MA  USA (AverCom was formerly the Commercial Division of AverStar:
http://www.averstar.com/~stt)