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; Fri, 2 Dec 1994 15:47:17 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA18659;
          Fri, 2 Dec 1994 08:33:41 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA18655;
          Fri, 2 Dec 1994 08:33:40 -0700
Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA28423;
          Fri, 2 Dec 1994 08:33:39 -0700
Message-Id: <9412021533.AA28423@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: NIL is undefined (HOL in GCL)
Date: Fri, 02 Dec 1994 08:33:38 -0700
From: Phil Windley <windley@lal.cs.byu.edu>


I'm running HOL 2.01 using GCL (new version of AKCL) 1.0.  I'm getting the
following error message when I try to do *some* things:

    Error: The function NIL is undefined.
    Fast links are on: do (use-fast-links nil) for debugging
    Error signalled by FUN%6170%98.
    Backtrace:  > funcall > lambda > FUN%6170%98
    evaluation failed     lisp error

Has anyone ever seen this before and, more importantly, figured out what it
means? 

--phil--

__________________________________________________________________________
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
------------------------------------------------------------------------
If you use WWW, I can be found <A
HREF="http://lal.cs.byu.edu/people/windley/windley.html">here</A> or<A
HREF="http://www.imall.com/homepage.html">here</A>.