Return-Path: Delivery-Date: Received: from toadflax.cs.ucdavis.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <02969-0@swan.cl.cam.ac.uk>; Wed, 5 Aug 1992 14:07:23 +0100 Received: from iris.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.0) id AA04987; Wed, 5 Aug 92 05:59:06 PDT Received: by iris.cs.ucdavis.edu (5.57/UCD.CS.2.0) id AA18302; Wed, 5 Aug 92 05:58:55 -0700 Received: from chekov.EE.McGill.CA by constellation (4.1/SMI-4.1) id AA08412; Wed, 5 Aug 92 08:57:31 EDT Date: Wed, 5 Aug 92 08:57:31 EDT From: charlesa@ca.mcgill.ee.pike (Charles Arsenault) Message-Id: <9208051257.AA08412@constellation> To: info-hol@edu.ucdavis.cs Subject: HOL with Allegro CL 4.0 Cc: charlesa@ca.mcgill.ee.pike Hi, I'm trying to install HOL using Allegro CL 4.0 and I get this error message: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ make -k all (cd hol88/hol; make "LispType=cl" "Obj=fasl" "Lisp=/usr/local/cl_4.0/bin/cl" "HOLdir=/local/src/share/HOL/hol88/hol" all) (date; make hol; date; make library; date) Tue Aug 4 16:42:23 EDT 1992 . . . etc ... . . echo '#+allegro (set-case-mode :case-insensitive-upper)'\ '#+allegro-v4.0 (setq *cltl1-in-package-compatibility-p* t)'\ '#+allegro-v4.0 (setq comp:*cltl1-compile-file-toplevel-compatibility-p* t)'\ '(load "lisp/mk-ml")'\ '(load "lisp/mk-hol-lcf")'\ '(setq %system-name "HOL-LCF")'\ '(setq %liszt "")'\ '(setq %version "2.0")'\ '(set-make)'\ '(tml)'\ 'compile(`ml/ml-curry`,true);;'\ 'quit();;'\ | /usr/local/cl_4.0/bin/cl Allegro CL 4.0.1 [Sun4] (2/8/91) Copyright (C) 1985-1991, Franz Inc., Berkeley, CA, USA :CASE-INSENSITIVE-UPPER T T ; Fast loading /tmp_mnt/local/src/share/HOL/hol88/hol/lisp/mk-ml.fasl. . . . etc ... . . .; Fast loading /tmp_mnt/local/src/share/HOL/hol88/hol/lisp/f-ol-net.fasl. T "HOL-LCF" "" "2.0" NIL HOL-LCF version 2.0 created 4/8/92 unbound or non-assignable variable loadt 1 error in typing typecheck failed *** Error code 1 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Anybody familiar with this error? Any help would be greatly appreciated. Thanks. Charles. ------------------------------------------------------------------------------- Charles Arsenault - CAD/CAE Tools Engineer | Voice : (1.514) 398.74.67 Microelectronics And Computer Systems | Fax : (1.514) 398.44.70 Department of Electrical Engeneering | McGill University | 3480 University Street | Montreal, Que. - H3A 2A7 - Canada | email : charlesa@pike.ee.mcgill.ca -------------------------------------------------------------------------------