Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1) id AA19906; Sun, 17 Sep 95 18:49:04 BST From: Peter Broadbery Date: Sun, 17 Sep 95 18:45:40 +0100 Message-Id: <3102.9509171745@nldi16.nag.co.uk> Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0) id AA03102; Sun, 17 Sep 95 18:45:40 +0100 Subject: fixbug By: PAB Fixed: bug933.as Apparently-To: ax-bugs@nag.co.uk --* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Tue Dec 20 05:40:11 1994 --* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311) --* id AA15935; Tue, 20 Dec 1994 05:40:11 -0500 --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 2499; Tue, 20 Dec 94 05:40:08 EST --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Tue, 20 Dec 94 05:40:08 -0500 --* Received: from inf.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Tue, 20 Dec 94 05:40:07 EST --* Received: from vinci.inf.ethz.ch (bronstei@vinci.inf.ethz.ch [129.132.12.46]) by inf.ethz.ch (8.6.9/8.6.9) with ESMTP id LAA13746 for ; Tue, 20 Dec 1994 11:32:38 +0100 --* From: Manuel Bronstein --* Received: (bronstei@localhost) by vinci.inf.ethz.ch (8.6.8/8.6.6) id LAA07066 for asbugs@watson.ibm.com; Tue, 20 Dec 1994 11:32:33 +0100 --* Date: Tue, 20 Dec 1994 11:32:33 +0100 --* Message-Id: <199412201032.LAA07066@vinci.inf.ethz.ch> --* To: asbugs@watson.ibm.com --* Subject: [3] Export not found at runtime --@ Bug Number: bug933.as --@ Fixed by: PAB --@ Tested by: tree.as --@ Summary: Same as bug968 --- include default information when building add -- Command line: asharp -Fx notfound.as -- Version: 1.0.3 -- Original bug file name: notfound.as ----------------------------- notfound.as ---------------------------------- -- -- The argument check in MyType causes the default for foo not to be -- found at runtime: -- -- asharp -Fx notfound.as -- notfound -- Looking in MyType(p==) for foo with code 754517703 -- Export not found -- #include "aslib.as" MyCat:Category == BasicType with { foo: () -> %; bar: % -> %; default foo():% == sample; } MyType(p:SingleInteger): MyCat == { p < 0 => error "argument must be nonnegative"; SingleIntegerMod p add { bar(x:%):% == x; } } import from SingleInteger, MyType 11; print << foo() << newline;