From windley@cheetah  Tue Dec 19 09:34:00 1989
Received: by iris (5.57/3.14)
        id AA23622; Tue, 19 Dec 89 09:34:00 PST
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA29752; Tue, 19 Dec 89 09:37:21 PST
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA00546; Tue, 19 Dec 89 09:34:40 PST
Message-Id: <8912191734.AA00546@cheetah.ucdavis.edu>
To: info-hol@clover
Subject: bug fix for HOL88 1.11
Date: Tue, 19 Dec 89 09:34:39 -0800
From: Phil Windley <windley@cheetah>


There is a small problem compiling HOL 1.11 with some versions of Franz
(the pickier ones).

Line 38 of f-parser.l reads

#+franz (declare (localf union escape-rtn charp upperp lowerp))

declaring union, escape-rtn, etc. to be local functions.  The problem is
that union has been moved to f-franz.l and so is not local to this file.
Franz Opus 38.69 ignores this and compiles fine.  Opus 38.92 (distributed
on clover and other places) bombs.

The fix is simple, simply delete union from line 38 of f-parser.l to read:

#+franz (declare (localf escape-rtn charp upperp lowerp))

HOL will compile with later versions of franz after this.

--phil--

PS.  I hope to have 1.11 available from clover later today.  I'll post a
message when I do.  The ftpable copy will already have this bug corrected.



