From windley@cheetah.ucdavis.edu@munnari.cs.mu.oz Fri Mar 10 09:13:06 1989
To: info-hol@clover.ucdavis.edu
Subject: HOL88 on Vaxen: bug report 2
Date: Thu, 09 Mar 89 09:41:06 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu@munnari.oz>
Status: RO

A few days ago, I reported that when making hol88 on vaxen, a problem
occurs with a function that is declared with arity 1, but written (in lisp)
with arity 0.  This caused the make to stop with an appropriate error
message.

Fixing that bug solved the make problem, but there are several other
functions that have also been misdeclared and so lead to problems during
_execution_.  (Note that this is not a problem on the Sun since Franz on a
Sun doesn't seem to be as picky about getting more parameters than it was
expecting.)

Here are the files, line numbers and changes:

F-iox-stand.l: line 127

   change       (dml |search_path| 1 ...
   to           (dml |search_path| 0 ...

hol-pars.l: line 561

   change       (dml |interface_map| 1 ...
   to           (dml |interface_map| 0 ...

The one I reported previously was:

F-thyfns.l: line 141

   change       (dml |draft_mode| 1 ...
   to           (dml |draft_mode| 0 ...

I tried to do a search to ensure that these are the only ones, but there
are no guarantees.  These all seem to be new functions to HOL88.

--phil--




















