--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com Tue Oct 19 10:32:33 1993 --* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524) --* id AA15081; Tue, 19 Oct 1993 10:32:33 -0400 --* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 7722; Tue, 19 Oct 93 10:39:02 EDT --* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Tue, 19 Oct 93 10:39:02 -0400 --* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0" --* id 8287; Tue, 19 Oct 1993 10:39:01 EDT --* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3) --* with TCP; Tue, 19 Oct 93 10:39:01 EDT --* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528) --* id AA43002; Tue, 19 Oct 1993 10:38:31 -0400 --* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524) --* id AA16456; Tue, 19 Oct 1993 10:40:30 -0400 --* Date: Tue, 19 Oct 1993 10:40:30 -0400 --* From: bmt@spadserv.watson.ibm.com --* X-External-Networks: yes --* Message-Id: <9310191440.AA16456@spadserv.watson.ibm.com> --* To: asbugs@watson.ibm.com --* Subject: compiler error message seems nonsense [xtest6.as][32.1 (current)] --@ Fixed by: SSD Mon Apr 18 15:10:16 1994 --@ Tested by: none --@ Summary: Type inference/code generation errors no longer present in v34.6. -- PI: I don't get any err msg, but the following msg from genfoam: -- (|Par| 0) -- Bug: -- Bad foam reference in const 5: -- SEE bug466.as #library langlib "lang.aso" import from langlib export IndexedExponents: (A1: SetCategory) -> IndexedDirectProductCategory(NonNegativeInteger, A1) export Boolean: with SetCategory true: % false: % export NonNegativeInteger: SetCategory SetCategory: Category == with =: (%, %) -> Boolean IndexedDirectProductCategory(A1: SetCategory, A2: SetCategory): Category == SetCategory