Can the main procedure be a generic instance?

["SteveD" <nospam_steved94@attbi.com>]

I have defined a generic package gen_main as follows:

---------- File: gen_main.ads ----------
with ada.Text_io;
package Gen_Main is

generic
    number_of_times : integer;
procedure Gen;

end Gen_Main;
----------------------------------------

---------- File: gen_main.adb ----------
with ada.Text_io;

package body Gen_Main is

procedure Gen is
begin
    for count in 1 .. Number_of_times loop
        Ada.Text_Io.Put_Line( "Count = " & Integer'Image( count ) );
    end loop;
end Gen;

end Gen_Main;
----------------------------------------

I create an instance of the generic

---------- File: main.adb ----------
with gen_main;
procedure main is new gen_Main.Gen( 10 );
-----------------------------------

This program builds and runs under ObjectAda 7.2 as expected.
Using Gnat 3.14p, I get the error:

D:\>gnatmake -v Main

GNATMAKE 3.14p  (20010503) Copyright 1995-2001 Free Software Foundation,
Inc.
  "main.ali" being checked ...
  -> "main.ali" missing.
gcc -c main.adb
main.adb:2:11: warning: file name does not match unit name, should be
"main.ads"

main.adb:2:11: generic instantiation for "main" does not allow a body
main.adb:2:11: remove incorrect body in file "main.adb"
End of compilation
gnatmake: "main.adb" compilation error


Should this work?

SteveD