Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 30 Mar 1994 02:38:57 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA21643; Tue, 29 Mar 1994 18:19:15 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from itd0.dsto.gov.au by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA21637; Tue, 29 Mar 1994 18:19:02 -0700 Received: from tcs22.dsto.gov.au by itd0.dsto.gov.au with SMTP (5.64+1.3.1+0.50/DSTO-1.0) id AA17302; Wed, 30 Mar 1994 10:47:36 +0930 Date: Wed, 30 Mar 1994 10:47:36 +0930 From: Jim Grundy Message-Id: <9403300117.AA17302@itd0.dsto.gov.au> To: info-hol@leopard.cs.byu.edu Subject: Compiling numeral Library in 2.02 Hi all When making HOL2.02 my compiler breaks on the numeral library with the following message: > Calling Lisp compiler > "numeral_rules_ml.c", line 48172: compiler error: out of hash tables I am using AKCL 1.615, and my system (a Sparc2) has about 45Mb of virtual memory. Does anybody have any idea what the problem is? Thanks in advance. Jim ======================================================================== Information Technology Division | Building 171 Laboratories Area | phone: +61 8 2596162 PO Box 1500 | fax: +61 8 2595980 Salisbury SA 5108 | email: jug@itd.dsto.gov.au AUSTRALIA | ========================================================================