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

["(see below)" <yaldnif.w@blueyonder.co.uk>]

On 30/12/2008 11:37, in article
495a0802$0$32677$9b4e6d93@newsspool2.arcor-online.net, "Georg Bauhaus"
<rm.tsoh.plus-bug.bauhaus@maps.futureapps.de> wrote:

> (see below) wrote:
> 
>> No, the problem is that the Pascal subrange type declarations have been
>> wrongly translated. The Pascal declaration:
>> 
>>   type  somerange = 1..10;
>> 
>> Means, in Ada:
>> 
>>    SUBtype  somerange is Integer range 1..10;
>> 
>> Make this change and the Ada type compatibility problems will magically
>> vanish.
> 
> I can see this is formally true, but wouldn't you loose
> the valuable distinction that comes from different numeric
> types?

The point is that in Pascal they are NOT different types, so if one wants to
mirror the semantics of the Pascal program - which is presumably the reason
for translating it - one must do as I say.

Even writing afresh in Ada, it is very unlikely indeed that one would want
EVERY subrange to be a separate type.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk