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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	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: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Pascal to Ada translator/ aflex,ayacc GNAT ports
Date: 1996/11/29
Message-ID: <dewar.849267826@merv>#1/1
X-Deja-AN: 201394128
references: <57htn2$jm8@cnn.Princeton.EDU> <57i8af$p8m@felix.seas.gwu.edu>
 <57j17b$6pt@news.pacifier.com>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-11-29T00:00:00+00:00
List-Id: <comp.lang.ada>


In discussing Pascal to Ada translation:

.. maps to ...

declare
  w_0 : aRecordType renames complex.expression[ witharrayindex ];
begin
  w_0.field1 := value;
end;



Yes, this is the obvious appropraite translation in this case, however, I
would say that the general goal of making the translated code look as much
like the original Pascal as possible is quite wrong, and illustrates what
is wrong with these translators. If you want Pascal-in-Ada what's the point,
you might as well write in Pascal. The only point in translating from Pascal
to Ada is to take advantage of the greater expressive power (e.g. generics)
available in Ada.