Return-Path: <John.Harrison-request@cl.cam.ac.uk>
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 06:03:36 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA22915;
          Tue, 29 Mar 1994 21:52:42 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA22911;
          Tue, 29 Mar 1994 21:52:42 -0700
Date: Tue, 29 Mar 1994 21:52:42 -0700
From: Paul "E." Black <black@lal.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: Re: Compiling numeral Library in 2.02
Message-ID: <"swan.cl.cam.:236330:940330050416"@cl.cam.ac.uk>

On Wed, 30 Mar 1994 10:47:36 Jim Grundy <jug@itd.dsto.gov.au> writes
	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
	
	Does anybody have any idea what the problem is?

It sounds like your C compiler has a hard-wired limited in the size of some
table.  It could be that 45Mb of virtual storage is not enough: we are
running with 64Mb of *physical* storage and over 100Mb of virtual storage.

Paul E. Black			Laboratory for Applied Logic
black@lal.cs.byu.edu		3308 TMCB
p.black@ieee.org		Brigham Young University
voice: +1 801 378 8113		Provo, Utah   84602
<A href="http://lal.cs.byu.edu/people/black.html">Mosaic page</A>