generic parameter to generic package

generic parameter to generic package

[Mr. J.]

I have the following not compiling code:
============================================
generic

type Language is array (Positive range<>) of Character;

type States is array (Positive range <>) of Integer;


package Automat_Producer is


...

===========================================================

And also :

*************************************************************

with Automat_Producer;

generic

with package My_Automat is new Automat_Producer (<>);


procedure Apply_String(Auto: in My_Automat; S:String);

*******************************************************************

What M I doing wrong ?

Compiler error:

apply_string.ads:6:33: subtype mark required in this context

apply_string.ads:6:33: found "My_Automat" declared at line 4



10x,

J.

Re: generic parameter to generic package

[Robert I. Eachus]

Mr. J. wrote:

> I have the following not compiling code:

> What M I doing wrong ?

For one thing eliding the code that is needed to answer your question. I 
assume that there is a type inside the package Automat_Producer that 
should be appended to My_Automat to fix the problem.  (In other words, 
instead of My_Automat as a subtype you need to write My_Automat.Some_Type.)

-- 
                                           Robert I. Eachus

"The war on terror is a different kind of war, waged capture by capture, 
cell by cell, and victory by victory. Our security is assured by our 
perseverance and by our sure belief in the success of liberty." -- 
George W. Bush

Re: generic parameter to generic package

[Jeffrey Carter]

Mr. J. wrote:

> What M I doing wrong ?
> 
> Compiler error:
> 
> apply_string.ads:6:33: subtype mark required in this context
> 
> apply_string.ads:6:33: found "My_Automat" declared at line 4

The compiler messages seem pretty clear: a subtype mark is required, and 
you're supplying "My_Automat", which is not a subtype mark (it's a 
package name). Packages are not (sub)types, and subprogram parameters 
can only be (sub)types.

-- 
Jeff Carter
"It's symbolic of his struggle against reality."
Monty Python's Life of Brian
78