Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1) id AA19590; Sun, 17 Sep 95 18:21:36 BST From: Peter Broadbery Date: Sun, 17 Sep 95 18:18:13 +0100 Message-Id: <2987.9509171718@nldi16.nag.co.uk> Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0) id AA02987; Sun, 17 Sep 95 18:18:13 +0100 Subject: fixbug By: PAB Fixed: bug975.as Apparently-To: ax-bugs@nag.co.uk From asbugs@com.ibm.watson Sun May 28 20:12:49 1995 Date: Sun, 28 May 1995 14:57:38 -0400 From: asbugs@com.ibm.watson (S Watt) To: bronstei@ch.ethz.inf, dooley@com.ibm.watson, iglio@it.unipi.dm.posso, peterb@uk.co.nag, smwatt@com.ibm.watson Subject: Received A# bug975 Sender: asbugs@com.ibm.watson Reporter: bronstei@inf.ethz.ch Number: bug975 Description: [5] Bad case 9 error message [bad9.as][1.1.0] Thank you for your bug report. It has been assigned bug number bug975. If you wish to discuss this bug via E-mail, please direct your messages to specific people and include the bug number. ------------------------------ bug975.as --------------------------------- --* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Sun May 28 14:57:35 1995 --* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311) --* id AA25478; Sun, 28 May 1995 14:57:35 -0400 --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 5967; Sun, 28 May 95 14:57:35 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Sun, 28 May 95 14:57:35 -0400 --* Received: from inf.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Sun, 28 May 95 14:57:34 EDT --* Received: from mendel.inf.ethz.ch (bronstei@mendel.inf.ethz.ch [129.132.12.20]) by inf.ethz.ch (8.6.10/8.6.10) with ESMTP id UAA20341 for ; Sun, 28 May 1995 20:57:32 +0200 --* From: Manuel Bronstein --* Received: (bronstei@localhost) by mendel.inf.ethz.ch (8.6.10/8.6.10) id UAA24474 for asbugs@watson.ibm.com; Sun, 28 May 1995 20:57:31 +0200 --* Date: Sun, 28 May 1995 20:57:31 +0200 --* Message-Id: <199505281857.UAA24474@mendel.inf.ethz.ch> --* To: asbugs@watson.ibm.com --* Subject: [5] Bad case 9 error message [bad9.as][1.1.0] --@ Bug Number: bug975.as --@ Fixed by: PAB --@ Tested by: record0.as --@ Summary: Looked for Cross more carefully when creating types ------------------------------ bad9.as --------------------------------- -- -- % axiomxl -M2 bad9.as -- "bad9.as", line 23 char 23Bug: Bad case 9 (line 1625 in file ../src/absyn.c). -- #include "axllib.as" macro { Z == Integer; LZ == Cross(L, Z); LL == List LZ; } Foo(R:BasicType, L:ListCategory R): with { foo: Z -> LL } == add { foo(a:Z):LL == { import from L; pair:LZ := (empty(), a); [pair]; } } import from Z, Foo(Z, List Z); foo 1;