--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Sat Jun  5 21:58:12 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA21461; Sat, 5 Jun 1993 21:58:12 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 8069; Sat, 05 Jun 93 21:58:49 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.2581.Jun.05.21:58:49.-0400>
--*           for asbugs@watson; Sat, 05 Jun 93 21:58:49 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Sat, 05 Jun 93 21:58:48 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <14604-0@bernina.ethz.ch>; Sun, 6 Jun 1993 03:58:44 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA01647; Sun, 6 Jun 93 03:58:39 +0200
--* Date: Sun, 6 Jun 93 03:58:37 +0200
--* Message-Id: <9306060158.AA21640@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA21640; Sun, 6 Jun 93 03:58:37 +0200
--* To: asbugs@watson.ibm.com
--* Subject: anonymous types, and local types
--* Cc: jenks@watson.ibm.com, bronstein, santas

--@ Fixed  by:  SSD   Wed Dec 08 11:38:13 1993 
--@ Tested by:  none 
--@ Summary:    Various fixes to type inference of domains/categories; and user errors in trying to package call from a category instead of from a domain. 


We seem to have *anonymous* types.
At least this is what rule E14 implies.

The following program compiles OK:
--------------with.as----------------
with
------------------------------------
but does not produce executables.

The following program compiles, but
reports Segmentation Faults at run-time:

--------------anonymous.as----------------
#include "aslib.as"
SI ==> SingleInteger
import SI
print(op1$(with (op1:SI) add (op1:SI==3)))
------------------------------------------

What puzzles me is that the following program reports
compile-time errors:

---------------anonymous1.as----------------
#include "aslib.as"
SI ==> SingleInteger
print(op1$(local Type1: with (op1:SI) == add (op1:SI==3)))
-------------------------------------------
print(op1$(local Type1: with (op1:SI) == add (op1:SI==3)))()
......^
[L6 C7] (Error) The expression has 0 possible meanings.
-------------------------------------------

while the following reports no compile-time errors
(but has the same segmentation faults):

---------------anonymous1.as----------------
#include "aslib.as"
SI ==> SingleInteger
op1$(Type1: with (op1:SI) == add (op1:SI==3))
-------------------------------------------

What happens with the scope?

Philip