Missing accept statement

[westley@hercules.uucp]

The following program compiled and ran successfully on a Sun 4 with the
Verdix 6.0(g) Ada compiler.  There were no compilation errors, no
exceptions, and "A_Task" was put.

with Text_IO;

procedure Missing_Task_Entry is

   task A_Task is
      entry Missing_Entry;
   end A_Task;

   task body A_Task is
   begin -- A_Task
      Text_IO.Put_Line ("A_Task");
   end A_Task;

begin -- Missing_Task_Entry
   null;
end Missing_Task_Entry;

Is it valid for a task body to be lacking an accept statement for a
corresponding entry from the specification of that task?  I can't find a
specific rule in the RM, but this seems contrary to idea of the compiler
catching this class of potential bugs.

Terry J. Westley
Arvin/Calspan Advanced Technology Center
P.O. Box 400, Buffalo, NY 14225
acsu.buffalo.edu!planck!westley@hercules