Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1) id AA19374; Sun, 17 Sep 95 17:55:25 BST From: Peter Broadbery Date: Sun, 17 Sep 95 17:52:00 +0100 Message-Id: <2897.9509171652@nldi16.nag.co.uk> Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0) id AA02897; Sun, 17 Sep 95 17:52:00 +0100 Subject: fixbug By: PAB Fixed: bug984.as Apparently-To: ax-bugs@nag.co.uk From asbugs@com.ibm.watson Fri Jun 2 00:39:35 1995 Date: Thu, 1 Jun 1995 19:30:32 -0400 From: asbugs@com.ibm.watson (S Watt) To: dooley@com.ibm.watson, iglio@it.unipi.dm.posso, peterb@uk.co.nag, smwatt@com.ibm.watson, smwatt@com.ibm.watson Subject: Received A# bug984 Sender: asbugs@com.ibm.watson Reporter: smwatt@matteo.watson.ibm.com Number: bug984 Description: [2] ``Bug: foamExprType: reached end of code.'' Thank you for your bug report. It has been assigned bug number bug984. If you wish to discuss this bug via E-mail, please direct your messages to specific people and include the bug number. ------------------------------ bug984.as --------------------------------- --* From SMWATT%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com Thu Jun 1 19:30:28 1995 --* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311) --* id AA24141; Thu, 1 Jun 1995 19:30:28 -0400 --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 9139; Thu, 01 Jun 95 19:30:28 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Thu, 01 Jun 95 19:30:28 -0400 --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id 7047; Thu, 1 Jun 1995 19:30:27 EDT --* Received: from matteo.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with TCP; Thu, 01 Jun 95 19:30:27 EDT --* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123) --* id AA17020; Thu, 1 Jun 1995 19:31:27 -0400 --* Date: Thu, 1 Jun 1995 19:31:27 -0400 --* From: smwatt@matteo.watson.ibm.com --* Message-Id: <9506012331.AA17020@matteo.watson.ibm.com> --* To: asbugs@watson.ibm.com --* Subject: [2] ``Bug: foamExprType: reached end of code.'' --@ Bug Number: bug984.as --@ Fixed by: PAB --@ Tested by: catdef0.as --@ Summary: Added check for comma as RHS of a with -- Command line: asharp -Fo -Faso htext.as -- Version: 1-0-8 -- Original bug file name: htext.as #include "aslib" #pile define ExteriorImmersion(S: BasicType): Category == BasicType with immerse: S -> % extend HashTable(Key: BasicType, Value: ExteriorImmersion Key): with () == add apply(t: %, k: Key): Value == (b, v) == search(t, k, sample) b => v t k := immerse k