Delivery-Date: 
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Date: Mon, 6 Jul 92 11:42:18 BST
From: John.Van-Tassel@uk.ac.cam.cl
Message-Id: <9207061042.AA01868@scoter.cl.cam.ac.uk>
To: info-hol@edu.uidaho.cs.ted, vdvoort@nl.utwente.cs
Subject: Re: building HOL on SUN4/AKCL

The problem lies in a change to AKCL's string handling in version
1-615.  You'll need to redefine the following functions in
lisp/f-cl.l and all should be well:

   ;;;(defun uconcat (&rest l)
   ;;;   (make-symbol
   ;;;      (apply #'concatenate 'string (mapcar #'princ-to-string l))))

   ;;;(defun concat (&rest l)
   ;;;   (intern
   ;;;      (apply #'concatenate 'string (mapcar #'princ-to-string l))))

   ;;;(defun concatl (l) (apply #'concat l))


   (defun concat-aux (l)
     (do ((chars (reverse l) (cdr chars))
	 (res '"" (concatenate 'string (princ-to-string (car chars)) res)))
	 ((null chars) res)))

   (defun uconcat (&rest l)
      (make-symbol (concat-aux l)))

   (defun concat (&rest l)
      (intern (concat-aux l)))

   (defun concatl (l) (intern (concat-aux l)))


   ;;;(defun catenate (&rest l)
   ;;;   (apply #'concatenate 'string
   ;;;      (mapcar #'princ-to-string l)))

   (defun catenate (&rest l)
       (concat-aux l))

Hope this helps,

JVT

------------------------------------------------------------------------------
John Van Tassel			|  Tel: +44-223-334729
Univ. of Cambridge		|  Fax: +44-223-334678
Computer Laboratory		|  
Pembroke Street			|  Email: jvt@cl.cam.ac.uk
Cambridge CB2 3QG		|
England				|