From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 7 Apr 92 19:29:22 GMT
From: cis.ohio-state.edu!zaphod.mps.ohio-state.edu!mips!darwin.sura.net!uvaarpa
!software.org!smithd@ucbvax.Berkeley.EDU  (Doug Smith)
Subject: Ada 9X plans for Generic Formal Packages
Message-ID: <1992Apr7.192922.24708@software.org>
List-Id: <comp.lang.ada>

A quick look at the March 92 Draft Ada 9X Project Report revealed
a new item:

    S.12.1.4 Generic Formal Packages [new]

However, the accompanying description and example leaves out a
lot of detail:

    o   How does the generic instantiate the formal package
        (named associations, etc.?)

    o   How are the profiles of the actual packages mapped
        to the profiles of the generic formal packages?

    o   How will defaults work?

Can anyone point me to further information concerning this
feature.  I have suggested something similar to several
people and see a great deal of power behind it--if it
really is what it appears to be:  Providing generic
packages as formal parameters to generic packages!

    Doug