Description: lambda lists are not functions
 Update for standard anonymous function representation
Forwarded: not-needed
Author: Camm Maguire <camm@debian.org>

--- hol88-2.02.19940316dfsg.orig/contrib/eval/eval.l
+++ hol88-2.02.19940316dfsg/contrib/eval/eval.l
@@ -360,7 +360,7 @@
              (is-boolconst-list(dest-ol-list (get-rand tm))))
         (bits-to-num 
          (mapcar 
-          '(lambda (x) (cond ((equal x T-olval) '|1|) (t '|0|)))
+          #'(lambda (x) (cond ((equal x T-olval) '|1|) (t '|0|)))
           (dest-ol-list (get-rand tm)))))
        (t tm)))
 
--- hol88-2.02.19940316dfsg.orig/contrib/prog_logic88/nprint_hacks.l
+++ hol88-2.02.19940316dfsg/contrib/prog_logic88/nprint_hacks.l
@@ -48,7 +48,7 @@
 ; If T1 is a 'closes property of T2 then brackets will be put around
 ; T1 when it is printed in the context of T2
  
-(mapc '(lambda (x) (putprop (car x) (cdr x) 'closes))
+(mapc #'(lambda (x) (putprop (car x) (cdr x) 'closes))
       '((|~| . (quant /\\ \\/ |==>| |<=>| |,| |=|))
         (/\\ . (quant /\\ \\/ |==>| |<=>| |,| |=|))
 	(\\/ . (quant \\/ |==>| |<=>| |,| |=|))
--- hol88-2.02.19940316dfsg.orig/contrib/prog_logic88/print_hacks.l
+++ hol88-2.02.19940316dfsg/contrib/prog_logic88/print_hacks.l
@@ -48,7 +48,7 @@
 ; If T1 is a 'closes property of T2 then brackets will be put around
 ; T1 when it is printed in the context of T2
  
-(mapc '(lambda (x) (putprop (car x) (cdr x) 'closes))
+(mapc #'(lambda (x) (putprop (car x) (cdr x) 'closes))
       '((|~| . (quant /\\ \\/ |==>| |<=>| |,| |=|))
         (/\\ . (quant /\\ \\/ |==>| |<=>| |,| |=|))
 	(\\/ . (quant \\/ |==>| |<=>| |,| |=|))
--- hol88-2.02.19940316dfsg.orig/lisp/f-freadth.l
+++ hol88-2.02.19940316dfsg/lisp/f-freadth.l
@@ -55,7 +55,7 @@
 
 (eval-when (load eval)
    (mapc
-      '(lambda (str)
+      #'(lambda (str)
            (setf (gethash str *fast-read-upper-case*)
               (intern (string-upcase str))))
       '("%t" "abs" "comb" "const" "pred" "var")))
@@ -68,12 +68,12 @@
 
 (eval-when (load eval)
    (mapc
-      '(lambda (char)
+      #'(lambda (char)
            (setf (svref *fast-read-char-vector* (char-int char))
               nil)) ; whitespace
       '(#\space #\newline #\tab #\linefeed))
    (mapc
-      '(lambda (char)
+      #'(lambda (char)
            (setf (svref *fast-read-char-vector* (char-int char))
               :non-constituent))
       '(#\( #\)))
--- hol88-2.02.19940316dfsg.orig/lisp/f-tml.l
+++ hol88-2.02.19940316dfsg/lisp/f-tml.l
@@ -209,7 +209,7 @@
       ;; standard CL. Check added - JAC 19.06.92
       (if (and (not (compiled-function-p %pr)) |%compile_on_the_fly-flag|)
          (compile nil %pr)
-         %pr)
+         (eval %pr))
       nil))
 
 
