--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Jul 27 15:34:01 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA16952; Wed, 27 Jul 1994 15:34:01 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 3551; Wed, 27 Jul 94 15:34:04 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.LAL.NOTE.YKTVMV.4499.Jul.27.15:34:04.-0400>
--*           for asbugs@watson; Wed, 27 Jul 94 15:34:04 -0400
--* Received: from nag.com by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 27 Jul 94 15:34:03 EDT
--* Received: by nag.com (/\==/\ Smail3.1.28.1 #28.1)
--* 	id <m0qTEkk-0001XtC@nag.com>; Wed, 27 Jul 94 14:34 CDT
--* Received: by pear.naginc (4.1/SMI-4.1)
--* 	id AA05030; Wed, 27 Jul 94 14:41:22 CDT
--* Date: Wed, 27 Jul 94 14:41:22 CDT
--* From: lal@pear.watson.ibm.com (Larry A. Lambe)
--* Message-Id: <9407271941.AA05030@pear.naginc>
--* To: asbugs@watson.ibm.com
--* Subject: [5] strange compiler message (from C) [chktyp.as][36.1]

--@ Fixed  by:  SSD   Thu Jul 28 09:51:44 EDT 1994 
--@ Tested by:  none 
--@ Summary:    gen0Has should check exports from a with instead of getting the bound symbols and filtering. 

-- compile using asharp -Fx -lasdem

#include "aslib.as"

tst := Category has Type;
print<<tst<<newline;

-- the next two used to cause cores
tst := BasicType has Type;
print<<tst<<newline;

tst := BasicType has Category;
print<<tst<<newline;

tst := Conditional has BasicType;
print<<tst<<newline;

tst := List(Integer) has Aggregate(Integer);
print<<tst<<newline;

tst := Integer has BasicType;
print<<tst<<newline;

tst := Category has with {};
print<<tst<<newline;