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
X-Google-Thread: 103376,a78361b1fb8b4be9
X-Google-Attributes: gid103376,public
From: "Dmitriy Anisimkov" <ts@quadrat.omsk.su>
Subject: Re: Instantiation before body seen
Date: 1998/01/10
Message-ID: <01bd1dde$ecbb8760$LocalHost@---->#1/1
X-Deja-AN: 314675477
Content-Transfer-Encoding: 8bit
References: <01bd1c95$ddeacf60$LocalHost@---->
 <mheaney-ya023680000801982312570001@news.ni.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Organization: Complex Computer Systems
Newsgroups: comp.lang.ada
Date: 1998-01-10T00:00:00+00:00
List-Id: <comp.lang.ada>


Matthew Heaney <mheaney@ni.net> �������� � ������ <mheaney-

> package body AnyPackage is
>    generic
>    function Compare (...) return Boolean;
>    function Compare (...) return Boolean is ... end Compare;
>    function Is_Equal is new Compare ("=");  -- recursive???
>    function "=" (L, R : TRational) return Boolean renames Is_Equal;

Thank you Matthew,
it is that I want.