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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!lll-winken!ames!mailrus!uflorida!gatech!hubcap!wtwolfe
From: wtwolfe@hubcap.UUCP (Bill Wolfe)
Newsgroups: comp.lang.ada
Subject: Nested separate compilations
Message-ID: <4079@hubcap.UUCP>
Date: 12 Jan 89 19:45:58 GMT
Organization: Clemson University, Clemson, SC
List-Id: <comp.lang.ada>


   I have now run into two compilers which balk at nested separate
   compilations, as per the following example:

      procedure A is

         procedure B is separate;

      begin [...] end A;

      ------------ in another file... ---------------

      separate (A);

      procedure B is

         procedure C is separate;

      begin [...] end B;

      ------------ in another file... ----------------

      separate (A.B);

      procedure C is begin [...] end C;

   Now according to the LRM, 

         subunit ::= [...] proper_body

         proper_body ::= subprogram_body [...]

         subprogram_body ::= [...] declarative_part [...]

         declarative_part ::= [...] later_declarative_item

         later_declarative_item ::= body [...]

         body ::= [...] body_stub

   and so nested separate compilation should be perfectly legal.  If there's
   anything in the LRM prohibiting this, I don't see it.  Is nested separate
   compilation legal?  If so, when will it be incorporated into the ACVC?  



                                            Bill Wolfe

                                     wtwolfe@hubcap.clemson.edu