--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Wed Oct 13 14:55:51 1993 --* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524) --* id AA13441; Wed, 13 Oct 1993 14:55:51 -0400 --* X-External-Networks: yes --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 3599; Wed, 13 Oct 93 15:02:33 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Wed, 13 Oct 93 15:02:33 -0400 --* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Wed, 13 Oct 93 15:02:31 EDT --* Received: from neptune by bernina.ethz.ch with SMTP inbound id <20353-0@bernina.ethz.ch>; Wed, 13 Oct 1993 20:02:03 +0100 --* From: Philip Santas --* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA23393; Wed, 13 Oct 93 20:01:59 +0100 --* Date: Wed, 13 Oct 93 20:01:58 +0100 --* Message-Id: <9310131901.AA06542@rutishauser.inf.ethz.ch> --* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA06542; Wed, 13 Oct 93 20:01:58 +0100 --* To: bronstei, asbugs@watson.ibm.com --* Subject: param categories --@ Fixed by: SSD Mon Apr 18 15:10:44 1994 --@ Tested by: none --@ Summary: Type inference/code generationerrors no longer present in v34.6. -- PI: both the first and the second crash in genfoam with the message: -- (|Par| 0) --Bug: --Bad foam reference in const 3: -- SEE bug486.as --Categories are not parameterized in the current version of A#. --The program: ----- #include "aslib.as" --#assert test1 #if test1 C2(Cx: Category):Category == Join(Monoid, Cx) C1:Category == C2(Ring) ----- --does not compile. --It expects a type as parameter, and not a category. --The program ----- #else C2(Cx: Category):Category == Join(Monoid, Cx) #endif ----- --reports (Error) Program fault (segmentation violation). --at compile time. --Philip