anchor.diff:  	     ;; FIXME: perhaps we should warn about the deprecated situations
   	     (error 'invalid-eval-when-situation
   		    :expr situation)))
  -  (let* ((situations (cadr form))
  -	 (c (not (null (intersection '(:compile-toplevel compile) situations))))
  -	 (l (not (null (intersection '(:load-toplevel load) situations))))
  -	 (e (not (null (intersection '(:execute eval) situations)))))
  -    (let ((new-form (cons 'progn (cddr form))))
  -      (if (and *compile-file* *top-level-form-p*)
  -	  (let ((*top-level-subform-p* *top-level-form-p*))
  -	    ;; This test tree corresponds to figure 3-7 of the
  -	    ;; HyperSpec.
  -	    (if c
  -		(if l
  -		    (let ((*compile-time-too* t))
  -		      (convert new-form environment))
  -		    (progn (eval new-form)
  -			   (convert ''nil environment)))
  -		(if l
  -		    (if e
  -			(convert new-form environment)
  -			(let ((*compile-time-too* nil))
  -			  (convert new-form environment)))
  -		    (if (and e *compile-time-too*)
  -			(progn (eval new-form)
  -			       (convert ''nil environment))
  -			(convert ''nil environment)))))
  -	  (if e
  -	      (convert new-form environment)
  -	      (convert ''nil environment))))))
  +  (if (not (null (intersection '(:execute eval) situations)))
  +      (cleavir-ast:make-progn-ast
  +       (convert-sequence (cddr form) environment))
  +      (convert 'nil environment)))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code: 	 (convert-variable form environment))
  	(t
  	 (convert-compound (car form) form environment))))
  	 
  (defmethod convert :around (form environment)
    (let ((*top-level-form-p* *top-level-subform-p*)
  	(*top-level-subform-p* nil))
      (when (and *compile-time-too* *top-level-form-p*)
        (eval form))
      (call-next-method)))
  
negative.code:     (loop for (name expansion) in (cadr form)
  	  do (setf new-env
  		   (sicl-env:add-symbol-macro-entry new-env name expansion)))
      (convert `(progn ,@(cddr form)) new-env)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  