Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Message-Id: <9201301116.AA19784@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Cc: chou@edu.ucla.cs
Subject: Problem with running HOL on a NeXT using AKCL-1-605
Date: Thu, 30 Jan 92 03:16:03 PST
From: chou@edu.ucla.cs

Some time ago I reported having problem running HOL on a NeXT
using AKCL-1-599.  John Van Tassel pointed out that the problem
was due to a bug in AKCL-1-599.  Well, today I got AKCL-1-605
running on my NeXT and was able to build HOL.  Everything
seems to be working well except this problem: HOL cannot "load"
a file from ~, the home directory.  E.g.,

#loadt `~/my-hol-init.ml` ;;

Error: Cannot open the file ~/my-hol-init.ml.
Fast links are on: do (use-fast-links nil) for debugging
Error signalled by FUN%8908%20.
Backtrace:  > funcall > lambda > FUN%8908%20
evaluation failed     lisp error
[HOL hangs at this point]

But both

#loadt `/Users/chou/my-hol-init.ml` ;;

and

#loadt `my-hol-init.ml` ;;

(if the current working directory is ~) work just fine.  Furthermore,

#system `cat ~/my-hol-init.ml` ;;

works fine, too.  I don't know this is a bug in AKCL-1-605 in general,
or a bug in the NeXT port.  I was told by Yonezawa, who did the NeXT
port of AKCL, that SYSTEM::FASLINK is not supported by the NeXT port.
I wonder whether this is what caused the problem.

- Ching Tsun