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,WEIRD_PORT
	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!mx02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: hreba <hreba@terra.com.br>
Newsgroups: comp.lang.ada
Subject: Re: Generic Library Units?
Date: Wed, 15 Oct 2014 22:21:30 -0300
Message-ID: <ca8kssFhl6cU1@mid.individual.net>
References: <c9vi2oF65aiU1@mid.individual.net>
 <10ir7anot1ujj$.kcl1b5ynppz8.dlg@40tude.net>
 <ca0e9mFdl2vU1@mid.individual.net>
 <j461ib3fvao8.djsu7d5i2elo$.dlg@40tude.net>
 <ca5teuFqcvkU1@mid.individual.net>
 <1e3dumb4ql0xb$.1reo7fz5y3vyl.dlg@40tude.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net uwY8Ue9O1L+Z6TzSmDwQsgjJ6G24bBArWTiZvSDh5qcuOCYbRc
Cancel-Lock: sha1:LkUkbD/aSe9DURPjCK1eGn2ghuc=
User-Agent: Mozilla/5.0 (X11; Linux i686;
 rv:31.0) Gecko/20100101 Thunderbird/31.0
In-Reply-To: <1e3dumb4ql0xb$.1reo7fz5y3vyl.dlg@40tude.net>
Xref: news.eternal-september.org comp.lang.ada:22516
Date: 2014-10-15T22:21:30-03:00
List-Id: <comp.lang.ada>

On 10/15/2014 04:21 AM, Dmitry A. Kazakov wrote:
> On Tue, 14 Oct 2014 21:29:16 -0300, hreba wrote:
>
>> On 10/13/2014 04:45 AM, Dmitry A. Kazakov wrote:
>>>
>>> with Gui;
>>> with GuiGtk.SimpleGad;
>>> with Gui.SimpleGad;
>>> package MainAux is
>>>       package Toolkit is new GuiGtk;
>>>       package SimpleGad is new Toolkit.SimpleGad;
>>>       package GuiTK is new Gui (Toolkit, SimpleGad);
>>> end MainAux;
>>>
>> Ok, did that too, and the error message disappeared.
>>
>> Now in the package body of Gui.SimpleGad I have
>>
>>      function Get (gad: BoolGadget) return boolean is
>>      begin
>>         return TKSG.GetBool (gad.widget.all);
>>      end Get;
>>
>> and get the error message
>>
>> gui-simplegad.adb:78:39: expected type "GuiGtk.GadWidgets" defined at
>> guigtk.ads:38
>> gui-simplegad.adb:78:39: found type "TK.GadWidgets" defined at
>> guigtk.ads:38, instance at gui.ads:10
>>
>> So the compiler isn't aware that GuiGtk is the actual value to the
>> formal package TK. How do I tell him?
>
> You can't. GuiGtk is a generic package. It cannot be actual of anything.
> Actuals are *real* things. E.g. an instance of a generic package can be
> actual of a formal package.
>
>> ( The Gui package header is
>>
>>      generic
>>         with package TK is new GuiGtk(<>);	-- this is gui.ads:10
>>         with package TKSG is new GuiGtk.SimpleGad;
>>      package Gui is
>>      ...
>> )
>
> Which has nothing to do with GuiGtk and GuiGtk.SimpleGad. Generic packages
> know nothing about any instances of. That is the basic idea of being
> "generic".
>

Basically I only need type and subprogram parameters for my generic 
package Gui (and Gui.SimpleGad) package.
As I have dozens of subprogram parameters, I packed them (together with 
the types) into a package parameter GuiGtk and it worked. It didn't work 
anymore when I outsourced part of GuiGtk into GuiGtk.SimpleGad.

 From what you say I understand that there is no cure, so I will stick 
to a GuiGtk without a child package.

Thanks for the hints.
-- 
Frank Hrebabetzky		+55 / 48 / 3235 1106
Florianopolis, Brazil