Return-Path: 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:23:41 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA18210; Tue, 16 Feb 93 06:58:56 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from [130.89.10.247] by ted.cs.uidaho.edu (16.6/1.34) id AA18205; Tue, 16 Feb 93 06:58:39 -0800 Received: from utis31.cs.utwente.nl by utrhcs.cs.utwente.nl (4.1/RBCS-2.3mx) id AA04941; Tue, 16 Feb 93 15:58:00 +0100 Received: from bisquit.cs.utwente.nl by utis31.cs.utwente.nl (4.1/RBCS-2.0) id AA02334; Tue, 16 Feb 93 15:57:57 +0100 Date: Tue, 16 Feb 93 15:57:57 +0100 From: blok@nl.utwente.cs (Rintcius Blok) Message-Id: <9302161457.AA02334@utis31.cs.utwente.nl> To: info-hol@edu.uidaho.cs.ted Hello, I have a problem with loading libraries among which the library prettyp. When I try to build this library I get this message: echo 'set_flag(`abort_when_fail`,true);;'\ 'loadf `PP_printer/PP_printer`;;'\ 'loadf `PP_parser/pp_lang1_pp`;;'\ 'compilet `PP_parser/pp_lang2_pp`;;'\ 'quit();;' | ../../hol _ _ __ _ __ __ |___ |__| | | | |__| |__| | | | |__| |__ |__| |__| Version 2.0, built on 14/9/92 #false : bool ...................................................... ...................................................... ......() : void #. error -- evaluation failed lisp error evaluation failed load -- PP_parser/pp_lang1_pp *** Error code 1 make: Fatal error: Command failed for target `PP_parser/pp_lang2_pp_ml.o' Does anyone know what is going wrong? I also get a lisp error in a self made (rather large) program. However I am not using lisp directly in this program. Is it possible that it gives a lisp error for reasons of too less memory? Thanks for any help, Rintcius Blok.