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,99180ce3a9e2c757
X-Google-Attributes: gid103376,public
From: Gautier <gautier.demontmollin@maths.unine.ch>
Subject: Re: Improving P2Ada (2)
Date: 1999/08/27
Message-ID: <37C693E3.7F3529D8@maths.unine.ch>#1/1
X-Deja-AN: 517790726
Content-Transfer-Encoding: 7bit
References: <37BC2499.9D2E6E77@Maths.UniNe.CH>
 <37C54799.C114B31C@Maths.UniNe.CH> <7q5cih$msg$1@scharff.fys.ku.dk>
 <37C656A2.3E26678B@Maths.UniNe.CH> <7q5vuc$u3i$1@scharff.fys.ku.dk>
Content-Type: text/plain; charset=us-ascii
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-08-27T00:00:00+00:00
List-Id: <comp.lang.ada>

> It appears that I have managed to argue that the flag isn't
> necessary after all. ;-(

Nice he he he. Hum, I prefer to wait a while to see
others' opinions.
Provisorily for your tests you could replace at line 1016 of pascal.y

    | {pascalhelp.put_line("WHEN OTHERS=> Null; ");}   -- EMPTY

with:

    |  -- EMPTY

BTW the "null;" for empty statements is not avoided for the case
of an empty statement appearing in a sequence, like

if abc then begin
  x;
  y; { empty statement after y ! }
end;

(NB: the ';' is a separator in Pascal) so there will
be protests, too... A way reprogram that can be the rules

- a single statement is either empty (crac: issue "null;") or not;
- a statement-in-sequence is either empty (don't issue "null;" !) or not;
- a sequence is either empty (crac: issue "null;") or not;

... with the risk to confuse ayacc a bit more.

-- 
Gautier

--------
http://members.xoom.com/gdemont/