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
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site wdl1.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!hao!hplabs!fortune!wdl1!jbn
From: jbn@wdl1.UUCP
Newsgroups: net.lang.ada
Subject: Re: re: Procedures as arguments
Message-ID: <802@wdl1.UUCP>
Date: Sat, 26-Oct-85 00:38:44 EST
Article-I.D.: wdl1.802
Posted: Sat Oct 26 00:38:44 1985
Date-Received: Sun, 10-Nov-85 07:31:12 EST
Sender: notes@wdl1.UUCP
Organization: Ford Aerospace, Western Development Laboratories
Nf-ID: #R:UCB-VAX:-618696092:wdl1:65200004:000:498
Nf-From: wdl1!jbn    Oct 25 19:11:00 1985
List-Id: <comp.lang.ada>


     The Verdix Ada compiler (5.0 Beta, SUN) allows sharing of generic
package bodies, but only if the generic parameters are restricted to
enumeration tpes, integer types, and floating types, and the
pragma SHARE_BODY is used.  But it doesn't work for generics with procedure
parameters.
     Considering that procedure parameters with full type checking are
provided for in the ISO Pascal standard (although not in Jensen and Wirth)
it's suprising that this was left out of Ada.

					John Nagle