--* From postmaster%watson.vnet.ibm.com@yktvmh.watson.ibm.com  Mon Aug 30 20:15:25 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18271; Mon, 30 Aug 1993 20:15:25 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4899; Mon, 30 Aug 93 20:18:43 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.VAGENT2.2462.Aug.30.20:09:30.-0400>
--*           for asbugs@watson; Mon, 30 Aug 93 20:09:31 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 2460; Mon, 30 Aug 1993 20:09:30 EDT
--* Received: from leonardo.watson.ibm.com by yktvmh.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Mon, 30 Aug 93 20:09:27 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA18354; Mon, 30 Aug 1993 20:07:48 -0400
--* Date: Mon, 30 Aug 1993 20:07:48 -0400
--* From: santas@leonardo.watson.ibm.com
--* Message-Id: <9308310007.AA18354@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com, jenks@watson.ibm.com
--* Subject: dependent categories/domains and object type
--* Cc: peteb@watson.ibm.com

--@ Fixed  by:  SSD   Tue Sep 27 13:01:12 EDT 1994 
--@ Tested by:  noen 
--@ Summary:    Not a bug. Program not syntactically correct as is. See libaslib/object.as for a complete version. 

--The following program does not compile:

Obbject (C: Category): with
           object: (T: C, T) -> %
           avail:  % -> (T: C, T)


--Philip