Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Tue, 16 Feb 1993 15:49:56 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA18247;
          Tue, 16 Feb 93 07:37:34 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA18242;
          Tue, 16 Feb 93 07:37:26 -0800
Received: from scoter.cl.cam.ac.uk (user jvt (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) to cl; Tue, 16 Feb 1993 15:32:05 +0000
Received: by scoter.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA14413;
          Tue, 16 Feb 93 15:31:35 GMT
Date: Tue, 16 Feb 93 15:31:35 GMT
From: John.Van-Tassel@uk.ac.cam.cl
Message-Id: <9302161531.AA14413@scoter.cl.cam.ac.uk>
To: blok@cs.utwente.nl, info-hol@edu.uidaho.cs.ted
Subject: Error

Hi,

Your problem (at least as far as the prettyp library goes) may be the
result of having incompatible object files (i.e. the file you're
trying to load was built on another architecture than the one you're
currently using).  If this is the case, simply go to the prettyp
directory, do a "make clobber", and try and build the library again.

As to your second problem, I'd need to know the specific circumstances
(what lisp, what machine, what ammount of memory, how much swap, what
lisp hack you were trying to do) in order to offer a better diagnosis.
It may be the case that the two problems are inter-related.  Let me
know if the fix in the first paragraph, and I'll think a bit more on
it.

Hope this helps,

JVT

------------------------------------------------------------------------------
John Van Tassel			|  Tel: +44-223-334729
Univ. of Cambridge		|  Fax: +44-223-334678
Computer Laboratory		|  
Pembroke Street			|  Email: jvt@cl.cam.ac.uk
Cambridge CB2 3QG		|
England				|

