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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,55f243f32a97dc7e,start
X-Google-Attributes: gid103376,public
From: csampson@cod.nosc.mil (Charles H. Sampson)
Subject: Elaboration_check For Instantiations
Date: 1997/10/23
Message-ID: <1997Oct23.202211.24396@nosc.mil>#1/1
X-Deja-AN: 282689998
Sender: news@nosc.mil
Organization: Computer Sciences Corporation
Newsgroups: comp.lang.ada
Date: 1997-10-23T00:00:00+00:00
List-Id: <comp.lang.ada>


     Apology in advance: I don't get to read this newsgroup as much as 
I would like.  I feel certain that my question has been discussed at 
great length, but I haven't been able to locate it in any FAQ.  If my 
feeling is right, just give me a reference, rather than opening the 
whole issue again.

     The instantiation in the following code was valid in Ada 83:

          PACKAGE Ginspec IS

             GENERIC
                Param : IN Integer;
             PROCEDURE Template;

             PROCEDURE Instantiation IS NEW Template (1);

          END Ginspec;

     If it wasn't valid, at least it worked in several compilers and I am 
aware of a healthy body of code that makes use of this capability.  It 
is no longer valid in Ada 95, thanks to 3.11(13).

     My question is, why was this change made?  Skimming the rationale, 
I see no mention of it.  I don't recall it being discussed in any paper 
on 83/95 incompatibilities that I've read.

 				Charlie
--
******

    If my user name appears as "csampson", remove the 'c' to get my
correct e-mail address.