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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: generic with function procedure
Date: Fri, 5 Jun 2020 22:28:50 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <rbe9u3$pc6$1@dont-email.me>
References: <d10989b4-ed2f-47c8-8f95-4d2f0d9cdafdo@googlegroups.com>
 <12b67609-2acc-4a80-88c0-5567a89667f9o@googlegroups.com>
 <8bda92fc-a4aa-46ee-a237-79d41858a8cbo@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 5 Jun 2020 20:28:51 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="8781d6342bd6d172eec5f0a7fdf8d6a8";
	logging-data="25990"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/AmnqnhcIule8kvpJL5SCMX81GIHe9Dq0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.8.0
Cancel-Lock: sha1:GM5Z6efZ1O5gzvfzVgAG1Fmx6mI=
In-Reply-To: <8bda92fc-a4aa-46ee-a237-79d41858a8cbo@googlegroups.com>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:58975
Date: 2020-06-05T22:28:50+02:00
List-Id: <comp.lang.ada>

On 6/5/20 5:45 PM, Gilbert Gosseyn wrote:
> 
> Please explain: "It depends on how you have defined g1 and h1...".

It means that unless you show us your complete attempt to perform the 
instantiation, we can't tell why you get these msgs.

The most common reasons for the error msg you got are

* G1 is not directly visible
* G1 does not match G

-- 
Jeff Carter
"Sheriff murdered, crops burned, stores looted,
people stampeded, and cattle raped."
Blazing Saddles
35