--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Mon Oct 11 17:29:30 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA19096; Mon, 11 Oct 1993 17:29:30 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2572; Mon, 11 Oct 93 17:35:26 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.5564.Oct.11.17:35:26.-0400>
--*           for asbugs@watson; Mon, 11 Oct 93 17:35:26 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5562; Mon, 11 Oct 1993 17:35:25 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Mon, 11 Oct 93 17:35:25 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA41759; Mon, 11 Oct 1993 17:34:50 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17354; Mon, 11 Oct 1993 17:41:39 -0400
--* Date: Mon, 11 Oct 1993 17:41:39 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9310112141.AA17354@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: complains about wrong meaning for set but doesn't restrict args properly [set00.as][31.2 (current)]

--@ Fixed  by:  PI   Mon Apr 25 18:43:08 EDT 1994 
--@ Tested by:  none 
--@ Summary:    2 weeks ago I got a segment.fault in tinfer. Now I can compile using -Wcheck and get the asf file. 
-- PI: now I get a segmentation fault in tinfer

#library langlib "lang.aso"
import from langlib
SetCategory:Category == Type with (foo:%)
FiniteSetAggregate(s:Type):Category == with
export Set: Type -> Type

extend Set(_#1:SetCategory):FiniteSetAggregate(_#1) ==
  add pretend FiniteSetAggregate(_#1)