--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Jun  8 06:54:25 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA15352; Tue, 8 Jun 1993 06:54:25 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 6393; Tue, 08 Jun 93 06:55:01 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.9921.Jun.08.06:55:01.-0400>
--*           for asbugs@watson; Tue, 08 Jun 93 06:55:01 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 08 Jun 93 06:54:59 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <13238-0@bernina.ethz.ch>; Tue, 8 Jun 1993 12:54:51 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA08253; Tue, 8 Jun 93 12:54:46 +0200
--* Date: Tue, 8 Jun 93 12:54:45 +0200
--* Message-Id: <9306081054.AA15897@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA15897; Tue, 8 Jun 93 12:54:45 +0200
--* To: smwatt@watson.ibm.com, asbugs@watson.ibm.com
--* Subject: Re:  BLANK
--* In-Reply-To: Mail from 'smwatt@watson.ibm.com (Stephen Watt)'
--*       dated: Mon, 7 Jun 1993 22:51:32 -0400
--* Cc: bronstein, santas

--@ Fixed  by:  SSD   Wed Jun 29 16:16:33 EDT 1994 
--@ Tested by:  none 
--@ Summary:    While the grammar used by the parser allows <Blank> : <Expr>, later checking enforces the constraint that <Blank> cannot appear on the left of a declaration. 


>BLANK is a question mark token, not white space.

Then somethings strange happens.

Rule E11(X) defines

E11(X) : E12h

Now X here is only E12 which can be Id, and BLANK is
member of Id.

This means that
? : SmallInteger

should be allowed.
But I get the following error:

"test9.as", line 1: ? : SI
                    ^
[L1 C1] (Error) Improper form appearing within a declaration.

Philip

 
