Re: Style: always declare subrountines?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

John English <je@brighton.ac.uk> writes:

> Lutz Donnerhacke wrote:
> > 
> > My dumb brain suggests, that a privatly declared type can be used elsewhere
> > in the program. If the size of this type depends on an other package, the
> > using package does not notice it and allocates the wrong size. (Yep, dumb.)
> 
> Ah, I would hope that any compiler I use has a dependency manager that
> can cope with this...

Indeed.  Ada compilers are *required* to make sure that such
inconsistencies do not happen.  If you try to link a program where one
file has a 64-bit type, and some other file thinks it's 32 bits, you
will get an error at link time.  Or, better, you use a command like
AdaMagic's "adabuild" or gnat's "gnatmake", which will fix the problem
automatically.

See RM-10.2(27).

- Bob