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=2.1 required=5.0 tests=BAYES_05,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!csd4.milw.wisc.edu!leah!rpi!crdgw1!ge-dab!peora!petsd!joe
From: joe@petsd.UUCP (Joe Orost)
Newsgroups: comp.lang.ada
Subject: Record rep specs for private components
Message-ID: <1620@petsd.UUCP>
Date: 10 Jun 89 00:16:52 GMT
Reply-To: joe@petsd.UUCP (Joseph M. Orost)
Organization: Concurrent Computer Corporation, Tinton Falls, NJ
List-Id: <comp.lang.ada>

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;

Please send mail.  I will summarize to the net.

				regards,
				joe

--

 Full-Name:  Joseph M. Orost
 UUCP:       rutgers!petsd!joe
 ARPA:	     petsd!joe@RUTGERS.EDU, joe@petsd.ccur.com
 Phone:      (201) 758-7284
 US Mail:    MS 313; Concurrent Computer Corporation; 106 Apple St
             Tinton Falls, NJ 07724