Re: formal package question

[anon@att.net]

Typo:

   package F2 is new F (Character, P); -- P => P



In <a1ce6c12-d389-4685-95b2-68159efefadc@s11g2000prs.googlegroups.com>, ytomino <aghia05@gmail.com> writes:
>Hello,
>Please look this code:
>
>--------
>package formalpkg is
>
>   generic
>      type T is private;
>      with procedure P (X : T) is <>;
>   package F is
>   end F;
>
>   generic
>      with package FA is new F (others => <>);
>   package B is
>   end B;
>
>   procedure P1 (X : Character) is null;
>   package F1 is new F (Character, P1); -- use P => P1
>
>   package B1 is new B (F1); -- Error !!
>
>   procedure P (X : Character) is null;
>   package F2 is new F (Character); -- P => P
>
>   package B2 is new B (F2); -- OK
>
>end formalpkg;
>--------
>% gnatmake formalpkg.ads
>gcc -c formalpkg.ads
>formalpkg.ads:17:25: actual for "P" in actual instance does not match
>formal
>gnatmake: "formalpkg.ads" compilation error
>--------
>
>B1 was compile error, but B2 is ok. Why?
>Where is wrong in my code?
>I want to use instances of generic package with some different
>subprograms like B1...
>
>(I use gcc-4.5.1)