Re: Generic body

[Samuel Tardieu <sam@rfc1149.net>]

>>>>> "S�bastien" == S�bastien  <seb.morand@gmail.com> writes:

S�bastien> I don't how to do this because: 1) The compiler refuse the
S�bastien> instance of MyProc because it doesn't have the MyProc body
S�bastien> 2) If I put the body of MyProc in the package spec, the
S�bastien> compiler refuses it because it's not the right place.

What compiler are you using? (name and version)

With a recent GNAT, I get:

     7.   procedure MyProcInt is new MyProc(Toto => Integer);
          |
        >>> warning: cannot instantiate "MyProc" before body seen
        >>> warning: Program_Error will be raised at run time

     8.   procedure MyProcStr is new MyProc(Toto => String);
                                                    |
        >>> actual for "Toto" must be a definite subtype

which I think explains things well.

  Sam
--
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/