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-7-bit
X-Google-Thread: 103376,5c7d7b754dfe430e
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: Help needed: Access type to functions in generic package
Date: 1999/09/12
Message-ID: <37dbe7da@news1.prserv.net>#1/1
X-Deja-AN: 524146301
Content-transfer-encoding: 7bit
References: <37DBA86F.3805AA69@deathsdoor.com>
Content-Type: text/plain; charset="US-ASCII"
X-Complaints-To: abuse@prserv.net
X-Trace: 12 Sep 1999 17:50:18 GMT, 129.37.213.110
Organization: Global Network Services - Remote Access Mail & News Services
Mime-version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-09-12T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <37DBA86F.3805AA69@deathsdoor.com> , Zeiram 
<zeiram@deathsdoor.com>  wrote:


> generic
>     Dim_X, Dim_Y, Dim_Z : Positive;
> package Maze is
>     type T_Cell is (Wall, Corridor, Pebble);
>     type T_Maze is array(1..Dim_X, 1..Dim_Y, 1..Dim_Z) of T_Cell;
> end Maze;

Why is this package generic?  Why don't you declare your array type this
way:

package Maze is

  type T_Cell is (Well, Corridor, Pebble);

  type T_Maze is
    array (Positive range <>, Positive range <>, Positive range <>)
    of T_Cell;

end Maze;


Instead of instantiating a generic to get a constrained array subtype, you
can just declare an array object, or declare an array subtype.  No generic
is needed.

  Maze : T_Maze (1 .. 10, 2 .. 11, 3 .. 12);

or

  subtype My_Maze is T_Maze (1 .. 10, 2 .. 11, 3 .. 12);

  Maze : My_Maze;




> generic
> package Maze.Display is
>     procedure Display_Maze(Maze : in T_Maze);
> end Maze.Display;

I package Maze is non-generic, then this child package doesn't need to be
generic either:

  package Maze.Display is

    procedure Display_Maze (Maze : in T_Maze);
    -- (sub)type T_Maze is now an unconstrained array

  end;



> with glut;
> with Win32.GL;
> with Maze.Display.Callback;
> package body Maze.Display is
>     package Callback is new Maze.Display.Callback;
>     use Callback;


Maze.Display.Callback doesn't need to be generic; see below.


>     procedure Display_Maze(Maze : in T_Maze) is
>       Menu : Integer;
>     begin
>       Menu := glutCreateMenu(Main_Menu'access);
>     end Display_Maze;
>
> end Maze.Display;
>
> package Maze.Display.Callback is
>     procedure Main_Menu(Value : Integer);
> end Maze.Display.Callback;


Again, this doesn't need to be generic either:

  package Maze.Display.Callback is

    procedure Main_Menu (...);

  end Maze.Display.Callback;


Try the changes I've suggested, and see if your problem goes away.