--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Oct 13 15:07:37 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17851; Wed, 13 Oct 1993 15:07:37 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4013; Wed, 13 Oct 93 15:14:19 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.0611.Oct.13.15:14:18.-0400>
--*           for asbugs@watson; Wed, 13 Oct 93 15:14:19 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 13 Oct 93 15:14:17 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <20575-0@bernina.ethz.ch>; Wed, 13 Oct 1993 20:14:04 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA23497; Wed, 13 Oct 93 20:14:00 +0100
--* Date: Wed, 13 Oct 93 20:13:59 +0100
--* Message-Id: <9310131913.AA06613@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA06613; Wed, 13 Oct 93 20:13:59 +0100
--* To: asbugs@watson.ibm.com
--* Subject: Re:  local categories
--* In-Reply-To: Mail from 'smwatt@watson.ibm.com (Stephen Watt)'
--*       dated: Wed, 13 Oct 1993 15:13:14 -0400

--@ Fixed  by:  SSD   Wed Nov 2 13:01:30 EST 1994 
--@ Tested by:  none 
--@ Summary:    The compiler now terminates correctly in v0.37.1. Local category definitions in an 'add' expression are now correctly matched with their declarations in the 'with' expression. 

#include "aslib.as"

C1:Category == with
      Clocal: Category

T2: C1 ==
     add
      Clocal : Category == C1

#if 0	
		This brings the question:
		Should we allow the definition of Categories within Types?
		(I would say no).
		
		Philip
Philip
#endif