Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Sat, 26 Dec 1992 03:04:45 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA11538; Fri, 25 Dec 92 18:53:00 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA11533; Fri, 25 Dec 92 18:52:50 -0800 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA16757; Fri, 25 Dec 92 18:52:17 -0800 Message-Id: <9212260252.AA16757@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted (INFO-HOL mailing list) Subject: Running out of STREAM Date: Fri, 25 Dec 92 18:52:15 PST From: chou@edu.ucla.cs During a big proof, I got the following error message: Error: The storage for STREAM is exhausted. Currently, 150 pages are allocated. Use ALLOCATE to expand the space. Fast links are on: do (use-fast-links nil) for debugging Error signalled by FUN%7853%81. Backtrace: > funcall > lambda > fun%7853%65 > funcall > funcall > lambda > fun%2674%566 > let > cons > fun%2904%57 > fun%2674%724 > let > let > cons > %ap > fun%2674%704 > let > cons > cons > cons > fun%2674%691 > fun%7853%82 > cons > cons > FUN%7853%81 evaluation failed lisp error evaluation failed load -- mk_invariant What is STREAM? Can one recover from this problem? My HOL is built on top of AKCL on a NeXT. Another question: If I re-compile AKCL, do I have to re-make all the theory files? How about compiled ML codes? - Ching Tsun