comp.lang.ada
 help / color / mirror / Atom feed
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: Selective suppression of warnings --- gnat on GNU/Linux
Date: Tue, 30 Dec 2008 11:01:18 +0000
Date: 2008-12-30T11:01:18+00:00	[thread overview]
Message-ID: <C57FAFFE.106303%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 7a6baa71-80e8-4f3a-80b6-34935bda2fc0@r10g2000prf.googlegroups.com

On 30/12/2008 03:13, in article
7a6baa71-80e8-4f3a-80b6-34935bda2fc0@r10g2000prf.googlegroups.com, "Michael
Mounteney" <gate02@landcroft.co.uk> wrote:

> Hello, I am trying to build an application of which some of the source
> is automatically translated from Pascal, on the fly.  The problem is
> that the automatically-translated source is causing a lot of spurious
> warnings about declarations not being used.  This is because the
> Pascal code has many instances of:
> 
>      type
>           somerange = 1..10;
>           somestruct = record ... end;
> 
> which is translated into Ada as
> 
>      type somerange is new integer range 1 .. 10;
> 
>      type somestruct is record ... end record;
> 
> but the problem is that any operators such as + and = are not visible
> in other units.  The solution to that is to rename the operators in
> the client units, thus:

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.
-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk





  parent reply	other threads:[~2008-12-30 11:01 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-12-30  3:13 Selective suppression of warnings --- gnat on GNU/Linux Michael Mounteney
2008-12-30  8:03 ` Ludovic Brenta
2008-12-30 22:49   ` Michael Mounteney
2008-12-30 23:26     ` Robert A Duff
2008-12-30 11:01 ` (see below) [this message]
2008-12-30 11:37   ` Georg Bauhaus
2008-12-30 12:05     ` (see below)
2008-12-30 14:11       ` Pascal ranges (was: Selective suppression of warnings --- gnat on GNU/Linux) Georg Bauhaus
2008-12-30 20:19         ` (see below)
2008-12-30 23:19           ` Pascal ranges Robert A Duff
2008-12-30 23:34             ` (see below)
2008-12-31  0:07               ` Robert A Duff
2008-12-31  0:32                 ` (see below)
2008-12-30 23:13 ` Selective suppression of warnings --- gnat on GNU/Linux Robert A Duff
2008-12-31  9:46   ` Jean-Pierre Rosen
2008-12-31 14:55     ` Robert A Duff
2008-12-31 16:13       ` Jean-Pierre Rosen
2008-12-31 20:01         ` Robert A Duff
2008-12-31 18:43     ` (see below)
2008-12-31 19:49       ` Robert A Duff
2008-12-31 20:24         ` Jeffrey R. Carter
2008-12-31 22:38           ` Robert A Duff
2008-12-31 19:46 ` Jerry
2008-12-31 22:39   ` Robert A Duff
2008-12-31 23:37   ` Michael Mounteney
2009-01-01  9:45   ` sjw
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox