Re: Style: always declare subrountines?

[Simon Wright <simon@pushface.org>]

porton@ex-code.com (Victor Porton) writes:

> How do you consider this:
> 
> If one would always declare every subrountine of a package body in the 
> specification (in the public or in the private part) this excludes the
> possibility that one may mistakedly create an internal subrountine with
> the same specification as a not yet implemented public procedure and 
> forget to implement this public procedure and so get wrong program
> behavior.
> 
> Stylistic checkers for always declaring in package specification?

If you use -gnaty GNAT will require specs (well, it warns if there
aren't any). But of course they only need be as local as required; so
it's common to see

  procedure Foo;
  procedure Foo is ..

in a local scope.