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, 17 Nov 1993 23:11:41 +0000
Received: by leopard.cs.byu.edu (1.37.109.7/16.2) id AA02752;
          Wed, 17 Nov 93 15:45:48 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from panther.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.7/16.2) id AA02748; Wed, 17 Nov 93 15:45:46 -0700
Received: from localhost by panther.cs.byu.edu with SMTP (1.37.109.7/16.2) 
          id AA11026; Wed, 17 Nov 93 15:46:12 -0700
To: info-hol@leopard.cs.byu.edu, kcl@cli.com
Subject: AKCL space problems
Date: Wed, 17 Nov 1993 15:46:11 -0700
From: Phil Windley <windley@leopard.cs.byu.edu>
Message-ID: <"swan.cl.cam.:264360:931117231238"@cl.cam.ac.uk>


I'm using AKCL 1.615 to run the HOL theorem proving system.  I'm getting
the following error message:

Error: The storage for CONS is exhausted.
       Currently, 8053 pages are allocated.
       Use ALLOCATE to expand the space.
Fast links are on: do (use-fast-links nil) for debugging
Error signalled by %AP.
Backtrace:  > funcall > lambda > fun%3974%86 > funcall > funcall > lambda > fun%3974%102 > fun%2500%2581 > fun%4635%119 > cons > fun%3932%52 > cons > fun%4459%98 > cons > fun%4716%136 > cons > %ap > %AP
evaluation failed     lisp error
evaluation failed     load -- ~/hol/uinta/hola09701.ml

At various times, this message has been for STREAM, CONS, relocatable
pages, etc.   In a nut shell, I'm runnig out of space.


When I start up HOL, I'm sending the following initialization sequence:

lisp `(progn ()
       (allocate 'cons 2024)
       (allocate 'string 100)
       (system:allocate-relocatable-pages 400)
       (system:set-hole-size 2048))` ;;


Is there something obviously different I should be doing.   Is this a hard
limit imposed by the amount of swap space and real memory I have or
something else?  

Phillip J. Windley, Asst. Professor              |  windley@cs.byu.edu
Laboratory for Applied Logic	                 |  
Dept. of Computer Science, TMCB 3370             |
Brigham Young University                         |  Phone: 801.378.3722
Provo UT                  84602-6576             |  Fax:   801.378.7775