Re: Ada -vs- GNAT

[dewar@gnat.com (Robert Dewar)]

"chris.danx" <spamoff.danx@ntlworld.com> wrote in message news:<BsOH8.1754$t8.377092@news11-gui.server.ntli.net>...

> No, having two pragmas that do the same thing is what IMO 
> is clutter (when just one will do, and there's one
> already present)

> I'm relying on what Steve posted, and don't know if 
> there's any other difference related to this pragma apart 
> from the shorthand.

 Do you imagine that we would have two pragmas that
 did exactly the same thing in a case like this (where we
 are introducing the pragmas?) [we do have some equivalent
 pragmas when we are copying pragmas from others :-)]

 And that if we did, we would perturb the bootstrap path
 to replace a pragma by something equivalent?

We are not that lunatic :-)

pragma Warnings (Off, entity) kills *all* warnings for the
given entity. It is a blunt tool indeed for this purpose.

pragma Unreferenced (Entity) is a specification that the
given entity is intentionally unreferenced. It not only
kills the warning for the entity not being referenced, but
it also generates a warning if it *is* referenced. In other
words it is a clear specification. Also it does NOT kill
any other warnings related to the entity.

So pragma Unreferenced is really *far* more appropriate. It
is more effective and much more clearly self documenting as
to what is going on.

We *far* prefer to use pragma Unreferenced for unreferenced
formals, but we can't do it yet, because it would create
a bootstrap path problem.