X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcode%2Ftarget-alieneval.lisp;h=c93516556097b7746b0863f84fd17c07a3983367;hb=872175cd9cb5b4966a36d4bd92421cc407a0355b;hp=091841f211b84f4db9efb9e22d41106a9fc9e6ba;hpb=6c765578c8dc4bcc7798e37c9918715f198b30da;p=sbcl.git

diff --git a/src/code/target-alieneval.lisp b/src/code/target-alieneval.lisp
index 091841f..c935165 100644
--- a/src/code/target-alieneval.lisp
+++ b/src/code/target-alieneval.lisp
@@ -97,12 +97,16 @@
      :EXTERN
        No alien is allocated, but VAR is established as a local name for
        the external alien given by EXTERNAL-NAME."
+  (/show "entering WITH-ALIEN" bindings)
   (with-auxiliary-alien-types env
     (dolist (binding (reverse bindings))
+      (/show binding)
       (destructuring-bind
 	  (symbol type &optional (opt1 nil opt1p) (opt2 nil opt2p))
 	  binding
+	(/show symbol type opt1 opt2)
 	(let ((alien-type (parse-alien-type type env)))
+	  (/show alien-type)
 	  (multiple-value-bind (allocation initial-value)
 	      (if opt2p
 		  (values opt1 opt2)
@@ -113,6 +117,7 @@
 		     (values opt1 nil))
 		    (t
 		     (values :local opt1))))
+	    (/show allocation initial-value)
 	    (setf body
 		  (ecase allocation
 		    #+nil
@@ -128,6 +133,7 @@
 				`((setq ,symbol ,initial-value)))
 			    ,@body)))))
 		    (:extern
+		     (/show ":EXTERN case")
 		     (let ((info (make-heap-alien-info
 				  :type alien-type
 				  :sap-form `(foreign-symbol-address
@@ -136,9 +142,11 @@
 			  ((,symbol (%heap-alien ',info)))
 			  ,@body))))
 		    (:local
+		     (/show ":LOCAL case")
 		     (let ((var (gensym))
 			   (initval (if initial-value (gensym)))
 			   (info (make-local-alien-info :type alien-type)))
+		       (/show var initval info)
 		       `((let ((,var (make-local-alien ',info))
 			       ,@(when initial-value
 				   `((,initval ,initial-value))))
@@ -150,7 +158,9 @@
 				    `((setq ,symbol ,initval)))
 				,@body)
 			       (dispose-local-alien ',info ,var))))))))))))
+    (/show "revised" body)
     (verify-local-auxiliaries-okay)
+    (/show "back from VERIFY-LOCAL-AUXILIARIES-OK, returning")
     `(symbol-macrolet ((&auxiliary-type-definitions&
 			,(append *new-auxiliary-types*
 				 (auxiliary-type-definitions env))))
@@ -264,7 +274,7 @@
 	   (type symbol slot))
   (or (find slot (alien-record-type-fields type)
 	    :key #'alien-record-field-name)
-      (error "There is no slot named ~S in ~S" slot type)))
+      (error "There is no slot named ~S in ~S." slot type)))
 
 ;;; Extract the value from the named slot from the record ALIEN. If
 ;;; ALIEN is actually a pointer, then DEREF it first.
@@ -450,12 +460,10 @@
     (values nil
 	    nil
 	    (list value)
-	    (if sb!c:*converting-for-interpreter*
-		`(%set-local-alien ',info ,alien ,value)
-		`(if (%local-alien-forced-to-memory-p ',info)
-		     (%set-local-alien ',info ,alien ,value)
-		     (setf ,alien
-			   (deport ,value ',(local-alien-info-type info)))))
+	    `(if (%local-alien-forced-to-memory-p ',info)
+		 (%set-local-alien ',info ,alien ,value)
+		 (setf ,alien
+		       (deport ,value ',(local-alien-info-type info))))
 	    whole)))
 
 (defun %local-alien-forced-to-memory-p (info)