X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftarget-alieneval.lisp;h=a25d4b90f90f3668c27a408b6507a1def8682852;hb=01044af1b8d69fc3899dc0417064c1512223223d;hp=cb061ee8bb434569cb9c111fbdc5a0f6d620eb23;hpb=ca20672bfac54095ae593d1f7da0eccbc0bf6257;p=sbcl.git

diff --git a/src/code/target-alieneval.lisp b/src/code/target-alieneval.lisp
index cb061ee..a25d4b9 100644
--- a/src/code/target-alieneval.lisp
+++ b/src/code/target-alieneval.lisp
@@ -137,7 +137,7 @@
 				`((setq ,symbol ,initial-value)))
 			    ,@body)))))
 		    (:extern
-		     (/show ":EXTERN case")
+		     (/show0 ":EXTERN case")
 		     (let ((info (make-heap-alien-info
 				  :type alien-type
 				  :sap-form `(foreign-symbol-address
@@ -146,7 +146,7 @@
 			  ((,symbol (%heap-alien ',info)))
 			  ,@body))))
 		    (:local
-		     (/show ":LOCAL case")
+		     (/show0 ":LOCAL case")
 		     (let ((var (gensym))
 			   (initval (if initial-value (gensym)))
 			   (info (make-local-alien-info :type alien-type)))
@@ -164,7 +164,7 @@
 			       (dispose-local-alien ',info ,var))))))))))))
     (/show "revised" body)
     (verify-local-auxiliaries-okay)
-    (/show "back from VERIFY-LOCAL-AUXILIARIES-OK, returning")
+    (/show0 "back from VERIFY-LOCAL-AUXILIARIES-OK, returning")
     `(symbol-macrolet ((&auxiliary-type-definitions&
 			,(append *new-auxiliary-types*
 				 (auxiliary-type-definitions env))))
@@ -178,9 +178,10 @@
 (def!method print-object ((value alien-value) stream)
   (print-unreadable-object (value stream)
     (format stream
-	    "~S :SAP #X~8,'0X"
+	    "~S ~S #X~8,'0X ~S ~S"
 	    'alien-value
-	    (sap-int (alien-value-sap value)))))
+	    :sap (sap-int (alien-value-sap value))
+	    :type (unparse-alien-type (alien-value-type value)))))
 
 #!-sb-fluid (declaim (inline null-alien))
 (defun null-alien (x)
@@ -678,7 +679,7 @@
 	 ;; alien values) both messy to do by hand and very important
 	 ;; for performance of later code which uses the return value.
 	 (declaim (ftype (function ,(lisp-arg-types)
-                                   (values ,@(lisp-result-types)))
+                                   (values ,@(lisp-result-types) &optional))
                          ,lisp-name))
 	 (defun ,lisp-name ,(lisp-args)
 	   ,@(docs)