Re: Trouble with renaming types

[Christoph Grein <christoph.grein@eurocopter.com>]

Bob, I'm not sure what you're about; your text is too brief and marred with 
errors:

>  WordSet(Dictionary, Word) I get the compilation error:

I gather you mean

  WordSet.Add (Dictionary, Word);

The problem is here that you qualify Add with the wrong prefix. Dictionary is 
not defined in WordSet but in some other parent (let's also call it Parent), and 
you must use the parent name as prefix:

   Parent.Add (Dictionary, Word);

See the following example as further illustration:

generic
  type Formal is private;
package Gen is
  type Stuff is private;
  procedure Primitive (X: in Stuff);
private
  type Stuff is record
    Comp: Formal;
  end record;
end Gen;
---------
with Gen;
package Inst is new Gen (Formal => Integer);  -- want to rename Inst.Stuff
----------
with Inst;
package What_I_want is          -- kind of renaming
  type Goal is new Inst.Stuff;  -- implicitly inherits Primitive operations
end What_I_want;
-----------------
with What_I_want;
procedure Main is
  X: What_I_want.Goal;
begin
  What_I_want.Primitive (X);
end Main;
  
Christoph