--* From DOOLEY%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Wed Dec  8 11:23:35 1993
--* Received: from yktvmh.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA14529; Wed, 8 Dec 1993 11:23:35 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 3137; Wed, 08 Dec 93 11:29:51 EST
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.DOOLEY.NOTE.VAGENT2.1293.Dec.08.11:29:50.-0500>
--*           for asbugs@watson; Wed, 08 Dec 93 11:29:51 -0500
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 1291; Wed, 8 Dec 1993 11:29:50 EST
--* Received: from matteo.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 08 Dec 93 11:29:49 EST
--* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA21028; Wed, 8 Dec 1993 11:31:26 -0500
--* Date: Wed, 8 Dec 1993 11:31:26 -0500
--* From: dooley@matteo.watson.ibm.com (Sam Dooley)
--* Message-Id: <9312081631.AA21028@matteo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [5] Local type provokes seg fault. [b311.as][v33.0]

--@ Fixed  by:  SSD   Wed Nov 23 09:26:05 EST 1994 
--@ Tested by:  none 
--@ Summary:    Known seg. faults fixed (on RS/6000, Sun). Import from 'x:T' imports from T, not x, and so correctly gives an error message. 


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