--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Mon Jul 19 02:08:05 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA16854; Mon, 19 Jul 1993 02:08:05 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 1539; Mon, 19 Jul 93 02:09:09 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.2691.Jul.19.02:09:08.-0400>
--*           for asbugs@watson; Mon, 19 Jul 93 02:09:09 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Mon, 19 Jul 93 02:09:07 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <24041-0@bernina.ethz.ch>; Mon, 19 Jul 1993 08:05:08 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA27054; Mon, 19 Jul 93 08:05:00 +0200
--* Date: Mon, 19 Jul 93 08:04:59 +0200
--* Message-Id: <9307190604.AA18158@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA18158; Mon, 19 Jul 93 08:04:59 +0200
--* To: asbugs@watson.ibm.com
--* Subject: Rule E11(X) ===> "with:with", "with::add", "add::add", "add::surprise", etc.
--* Cc: bronstein

--@ Fixed  by: SSD Wed Jul 28 17:31:45 1993
--@ Tested by: none
--@ Summary:   The error messages are correct.


According to the rule
E11(X)

the program:

------------------
with : with
------------------

is valid.
However I get the errors:

----------error---------
"syntax.as", line 4: with : with
                     ^
[L41 C1] (Error) Improper form appearing within a declaration.
------------------------

The same rule, says that "::" should be handled
in the same way.
However:

-------------------------
with :: with
--------error------------
"syntax.as", line 5: with :: with
                     ^
[L41 C1] (Error) The expression has 0 possible meanings.
  Subexpression 'with ':
        Meaning 1: Category
[L41 C1] (Error) Operator has 0 possible types.
  Subexpression 'with ':
        Meaning 1: Category
  The context requires an expression of type with .
------------------------

Philip