From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d679dd7e9c16805a
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!news2!feeder.erje.net!nuzba.szn.dk!pnx.dk!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Selective suppression of warnings --- gnat on GNU/Linux
Date: Tue, 30 Dec 2008 12:05:51 +0000
Message-ID: <C57FBF1F.10631D%yaldnif.w@blueyonder.co.uk>
References: 
 <7a6baa71-80e8-4f3a-80b6-34935bda2fc0@r10g2000prf.googlegroups.com>
 <C57FAFFE.106303%yaldnif.w@blueyonder.co.uk>
 <495a0802$0$32677$9b4e6d93@newsspool2.arcor-online.net>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: individual.net oCCormSUbhrBxSkXsMos8g90rIhLn2ZFqG8DTGRj59hJKg1qUY
Cancel-Lock: sha1:1E2o+2ny71t17RtLXBqJDhPzr9E=
User-Agent: Microsoft-Entourage/12.14.0.081024
Thread-Topic: Selective suppression of warnings --- gnat on GNU/Linux
Thread-Index: AclqdvU+6i5LdyUNL0uwgKulvx9mNg==
Xref: g2news2.google.com comp.lang.ada:4094
Date: 2008-12-30T12:05:51+00:00
List-Id: <comp.lang.ada>

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