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,e2abde523cb162f
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: trouble with gnat generic dispatching
Date: 1996/04/10
Message-ID: <dewar.829137107@schonberg>#1/1
X-Deja-AN: 146720530
references: <316B909E.27E0@math.tau.ac.il>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-04-10T00:00:00+00:00
List-Id: <comp.lang.ada>

Yoav posted a large program and one problem mentioned is that controlled
types can only be declared at the library level. THis is correct, GNAT
is giving you a correct diagnostic. Controlled types are tagged types,
and tagged types must be extended at the same level as their parents.

As for the other "problem", no idea! Please post short concise examples,
CLA is not the place to post large chunks of code and ask "what's wrong?"

You might also want to follow the GNAT directions and send GNAT
questions to report@gnat.com, although there too, you need to make
an effort to provide a concise example of your question rather than
just dumping your whole program!