anchor.diff:  		  *last-swl-args*)))
       (if r-args
   	(progn (setq *last-swl-args* r-args)
  -	       (funcall 'swll-internal (string (first r-args))
  -			(if (not (null (second r-args)))
  -			    (string (second r-args)) nil)))
  +	       (swll-internal (string (first r-args))
  +			      (if (not (null (second r-args)))
  +				  (string (second r-args)) nil)
  +			      t))
         (format t "No previous unit evaluated~%"))))
   
  +
  +(defun swll-no-load (&optional args)
  +  ;; scripts depend upon this returning true iff successful
  +  (let ((r-args (if (not (null args))
  +		    (extract-final-file-name args)
  +		  *last-swl-args*)))
  +    (if r-args
  +	(progn (setq *last-swl-args* r-args)
  +	       (swll-internal (string (first r-args))
  +			      (if (not (null (second r-args)))
  +				  (string (second r-args)) nil)
  +			      nil))
  +      (format t "No previous unit evaluated~%"))))
   
   (defpackage "SWE") ; for access to results
   
  
positive.code: 			     x (cons :|Some| lisp-file-name))
  			    (let (#+allegro *redefinition-warnings*)
  			      ;; scripts depend upon the following returning true iff successful
  			      (specware::compile-and-load-lisp-file lisp-file-name))
  			  "Specware Processing Failed!")))
  	       (show-error-position emacs::*goto-file-position-stored* 1)
  	       (maybe-restore-swpath)
  
negative.code: 	(progn (setq *last-swl-args* r-args)
  	       (swll-internal (string (first r-args))
  			      (if (not (null (second r-args)))
  				  (string (second r-args)) nil)
  			      t))
        (format t "No previous unit evaluated~%"))))
  
  #+allegro
  