Re: Selective suppression of warnings --- gnat on GNU/Linux

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

Michael Mounteney <gate02@landcroft.co.uk> writes:

> Thanks very much, Ludovic, that answer was just what I needed !  The
> warning count has decreased by about 80%.
>
> Bill:  I take your point but I am trying to preserve semantic
> information the conversion.  So I do want the types to be distinct.
> The Pascal source has been modified where necessary thus:
>
>      dest := (*ada:typeofdest*)(expr);
>
> which the convertor sees as
>
>      dest := typeofdest(expr);
>
> in order to maintain the distinction of types.

Aha!  So you're not exactly translating Pascal to Ada,
you're translating Pascal with some interesting
annotations (in Pascal comments) to Ada.

I think you might be better off annotating the Pascal
type declarations (which ones should be separate types,
in the Ada sense, versus subtypes), rather than annotating
the individual Pascal expressions with conversion annotations.

- Bob