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=3.8 required=5.0 tests=BAYES_00,INVALID_MSGID,
	RATWARE_MS_HASH,RATWARE_OUTLOOK_NONAME autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ea40456edaea3d23
X-Google-Attributes: gid103376,public
From: "wiljan" <W.Derks@nl.cis.philips.com>
Subject: Re: Pascal to Ada translator/ aflex,ayacc GNAT ports
Date: 1996/11/30
Message-ID: <01bbde93$a09ea190$0d208b82@wd>#1/1
X-Deja-AN: 201530741
references: <57htn2$jm8@cnn.Princeton.EDU> <57i8af$p8m@felix.seas.gwu.edu>
 <57j17b$6pt@news.pacifier.com> <dewar.849267826@merv>
 <01bbde30$7a63d4e0$11208b82@wd> <dewar.849318953@merv>
organization: Philips Electronics N.V.
newsgroups: comp.lang.ada
Date: 1996-11-30T00:00:00+00:00
List-Id: <comp.lang.ada>


Robert Dewar <dewar@merv.cs.nyu.edu> wrote in article
<dewar.849318953@merv>...
> I am confused, you seem to be talking in generalities (which are in fact
> reasonable), but you don't seem to talk to this specific case. Can you
> show an example where you think it is inappropriate to translate the
> Pascal "with" into an Ada renaming?
I think that when one has:
    type rec=record a,b:integer end;
    var x:rec;
    ....
    with x do a:=3;
is best translated to
    x.a:=3;
With a rename it whould look like:
    x1:rec renames x;
    x1.a:=3;
Note that when translating to an Ada renaming one must add extra names
which also does not attribute to clear code.

Wiljan