;;; -*- Mode:Lisp; Readtable:ZL; Package:USER; Base:8; Patch-File:T -*-
;;; Patch file for System version 123.186
;;; Reason:
;;;  Fix bug in (:property prog1 p1).  This causes things to miscompile!!
;;; Written 20-Jan-88 12:21:26 by rg at site Gigamos Cambridge
;;; while running on Love from band 2
;;; with Experimental System 123.184, Experimental Local-File 73.3, Experimental FILE-Server 22.1, Experimental Unix-Interface 11.0, Experimental Tape 18.0, Experimental KERMIT 34.3, Experimental ZMail 71.0, Experimental Lambda-Diag 15.0, microcode 1754, SDU Boot Tape 3.13, SDU ROM 102.



; From file DJ: L.SYS; QCP1.LISP#690 at 20-Jan-88 12:21:27
#8R COMPILER#: 
(COMPILER-LET ((*PACKAGE* (PKG-FIND-PACKAGE "COMPILER")))
  (PATCH-SOURCE-FILE "SYS: SYS; QCP1  "

(defun (:property prog1 p1) (form)
  (let ((value-to-return
	  (p1v (cadr form) (if (typep *p1value* '(or number (member t)))
			       1 *p1value*))))
    (if (cddr form)
	`(prog2 nil
		,value-to-return
		. ,(mapcar (lambda (elt) (p1v elt nil)) (cddr form)))
      value-to-return)))

))