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!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Error popping up after "unrelated" generic instantiation
Date: Sat, 3 Sep 2016 15:54:15 +0200
Organization: A noiseless patient Spider
Message-ID: <nqekm7$f9p$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 3 Sep 2016 13:54:16 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="c9ee01526096b107c8c390dbcd76cd17";
	logging-data="15673"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18ZLAIz74DmhG7XkUwHDyxm"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.2.0
X-Mozilla-News-Host: news://news.eternal-september.org:119
Cancel-Lock: sha1:3Rd3bnfXZ3bkaPhxNe7Yjt5FwGI=
Xref: news.eternal-september.org comp.lang.ada:31698
Date: 2016-09-03T15:54:15+02:00
List-Id: <comp.lang.ada>

I have a convoluted code in which adding an instantiation without using 
it anywhere breaks the build with the uninspired error message 
"incorrect use of <subprogram>". It smells fishy to me and would be glad 
for your opinions. If you want to try, please check out this commit and 
see what happens in your setup. I'm using GPL2016 on Ubuntu 16.04.

$ hg clone ssh://hg@bitbucket.org/amosteo/rxada -u fec9d9df95b9
$ cd rxada
$ gprbuild rx-examples-minimal

This builds (and runs) correctly. However, uncommenting line 23 in 
src/main/rx-examples.ads results in the aforementioned error:

rx-examples-minimal.adb:22:06: incorrect use of "Subscribe"
(and more similar instances in the same file).

Cheers,
Alex.