Re: Record rep specs for private components

[joe@petsd.UUCP (Joe Orost)]

In article <1620@petsd.UUCP> I write:
>We're having a discussion within the posix-ada group about the legality of
>record rep-specs for record components of a private type.  I want to find
>out what current compilers accept.  Can a few of you try this on various Ada 
>compilers (Don't bother if you have VERDIX or SYSTEAM; I tried those):
>
>   package a is
>      type aa is private;
>   private
>      type aa is range 0..1000;
>   end a;
>
>   with a;
>   package b is
>      type bb is record
>         bbb : a.aa;
>      end record;
>      for bb use record
>        at mod 2;
>        bbb at 0 range 0..15;       --Legal?
>      end record;
>      x : bb;
>   end b;
>
Here is the summary:

	Compiler	Legal?
	   V		  Y
	   S		  N
	   D		  Y
	   A		  Y

Looks like compiler S has a problem.

--joe@petsd.ccur.com