--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Tue Oct 19 10:42:14 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17047; Tue, 19 Oct 1993 10:42:14 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 7787; Tue, 19 Oct 93 10:48:43 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.8439.Oct.19.10:48:40.-0400>
--*           for asbugs@watson; Tue, 19 Oct 93 10:48:43 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8437; Tue, 19 Oct 1993 10:48:40 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 19 Oct 93 10:48:40 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA10970; Tue, 19 Oct 1993 10:48:10 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA29300; Tue, 19 Oct 1993 10:50:09 -0400
--* Date: Tue, 19 Oct 1993 10:50:09 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9310191450.AA29300@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: compiler is confused about parameterized categories [xtest8.as][32.1 (current)]

--@ Fixed  by:  SSD   Wed Oct 20 08:42:41 1993 
--@ Tested by:  none 
--@ Summary:    Use 'extend' so the compiler can figure out the meanings for the constructors. 


#library langlib "lang.aso"
import langlib
export IndexedExponents: (A1: SetCategory) ->
    IndexedDirectProductCategory(NonNegativeInteger, A1)
export Boolean: SetCategory
export NonNegativeInteger: SetCategory
SetCategory: Category ==  with
        =: (%, %) -> Boolean
IndexedDirectProductCategory(B1: SetCategory, B2: SetCategory): Category ==
        SetCategory