--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Mon Jul 19 01:23:15 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17081; Mon, 19 Jul 1993 01:23:15 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 1431; Mon, 19 Jul 93 01:24:18 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.2481.Jul.19.01:24:17.-0400>
--*           for asbugs@watson; Mon, 19 Jul 93 01:24:18 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Mon, 19 Jul 93 01:24:16 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <23222-0@bernina.ethz.ch>; Mon, 19 Jul 1993 07:24:12 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA26836; Mon, 19 Jul 93 07:24:07 +0200
--* Date: Mon, 19 Jul 93 07:24:06 +0200
--* Message-Id: <9307190524.AA17984@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA17984; Mon, 19 Jul 93 07:24:06 +0200
--* To: asbugs@watson.ibm.com
--* Subject: E13 ===> "with with $ SI"  (abort)
--* Cc: bronstein

--@ Fixed  by: SSD Wed Jul 28 17:34:37 1993
--@ Tested by: none
--@ Summary:   Error now reported by abcheck: improper LHS of $-qualification.


What is the meaning of the rule:

E13: E14 | E14 "$"  QualTail

which allows programs like:

------------------
#include "aslib.as"

SI ==> SingleInteger
import SI

with $ SI

--errors----------
ru7.inf.ethz.ch254  Philip >asharp -Fx syntax.as
Assertion failed, file "../src/tipasses.c" line 2996: abTag(what) == AB_Id
(Error) Program fault (abort process).

The error is at the type inference as I understand.
Shouldn't this be a syntax error?

Philip