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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!hagerp
From: hagerp@iuvax.cs.indiana.edu
Newsgroups: comp.lang.ada
Subject: Re: Ada puzzle
Message-ID: <15800006@iuvax>
Date: 7 Sep 89 17:02:00 GMT
References: <2862@catalina.sw.mcc.com>
Organization: Indiana University CSCI, Bloomington
Nf-ID: #R:catalina.sw.mcc.com:-286200:iuvax:15800006:000:178
Nf-From: iuvax.cs.indiana.edu!hagerp    Sep  7 12:02:00 1989
List-Id: <comp.lang.ada>


How about something like:

	generic
	    type X is (<>);
	procedure Foo (Param : X) is
	    Y : X;
	begin
	    Y := Param;
	end Foo;

Is this what you had in mind?

--paul hager