--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Oct 19 14:36:21 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA23837; Tue, 19 Oct 1993 14:36:21 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4487; Tue, 19 Oct 93 14:43:07 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.5893.Oct.19.14:43:05.-0400>
--*           for asbugs@watson; Tue, 19 Oct 93 14:43:07 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 19 Oct 93 14:43:04 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <1285-0@bernina.ethz.ch>; Tue, 19 Oct 1993 19:42:48 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA12878; Tue, 19 Oct 93 19:42:44 +0100
--* Date: Tue, 19 Oct 93 19:42:42 +0100
--* Message-Id: <9310191842.AA03788@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA03788; Tue, 19 Oct 93 19:42:42 +0100
--* To: asbugs@watson.ibm.com
--* Subject: Category not exported
--* Cc: bronstei

--@ Fixed  by:  SSD   Wed Oct 20 08:33:41 1993 
--@ Tested by:  none 
--@ Summary:    Correct the syntax errors. Use 'default' instead of 'add'. 


The following program does not compile, because,
although T1 has been imported, there is no 'foo'
exported by T1 (although C1 is in the signature
of T1).

--------------------------
#include "aslib.as"
import String
SI==> SingleInteger
import SI

C1:Category ==
   with
     foo: %->%
   add
     foo(x:%):% == x

T1: C1 with
    f:%->%
 == add
     f(x:%):% == x

x:T1 == x
foo x
----------------------------

Philip