--* From mnd@dcs.st-and.ac.uk  Thu Nov  9 12:56:33 2000
--* Received: from server-9.tower-4.starlabs.net (mail.london-1.starlabs.net [212.125.75.12])
--* 	by nag.co.uk (8.9.3/8.9.3) with SMTP id MAA02957
--* 	for <ax-bugs@nag.co.uk>; Thu, 9 Nov 2000 12:56:31 GMT
--* X-VirusChecked: Checked
--* Received: (qmail 4209 invoked from network); 9 Nov 2000 12:53:05 -0000
--* Received: from pittyvaich.dcs.st-and.ac.uk (138.251.206.55)
--*   by server-9.tower-4.starlabs.net with SMTP; 9 Nov 2000 12:53:05 -0000
--* Received: from dcs.st-and.ac.uk (knockdhu [138.251.206.239])
--* 	by pittyvaich.dcs.st-and.ac.uk (8.9.1b+Sun/8.9.1) with ESMTP id MAA29308
--* 	for <ax-bugs@nag.co.uk>; Thu, 9 Nov 2000 12:55:39 GMT
--* Received: (from mnd@localhost)
--* 	by dcs.st-and.ac.uk (8.8.7/8.8.7) id MAA31093
--* 	for ax-bugs@nag.co.uk; Thu, 9 Nov 2000 12:56:53 GMT
--* Date: Thu, 9 Nov 2000 12:56:53 GMT
--* From: mnd <mnd@dcs.st-and.ac.uk>
--* Message-Id: <200011091256.MAA31093@dcs.st-and.ac.uk>
--* To: ax-bugs@nag.co.uk
--* Subject: [9][tinfer?] export-not-found error

--@ Fixed  by: <Who> <Date>
--@ Tested by: <Name of new or existing file in test directory>
--@ Summary:   <Description of real problem and the fix>

-- Command line: axiomxl -q2 hashtab.as
-- Version: 1.1.13(0)
-- Original bug file name: hashtab.as


#include "axllib"

-- This application of search() generates the following compile-time error:
-- (Fatal Error) Looking for `apply' with code `569733829'.  Export not found.
asserted?(props:HashTable(String, Boolean), prop:String):Boolean ==
{
   (got?, result) := search(props, prop, false);
   result;
}


main():() ==
{
   local tab:HashTable(String, Boolean) := table();

   print << "asserted?(fred) = " << asserted?(tab, "fred") << newline;
}


main();


_____________________________________________________________________
This message has been checked for all known viruses by Star Internet delivered
through the MessageLabs Virus Control Centre. For further information visit
http://www.star.net.uk/stats.asp