X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftarget-alieneval.lisp;h=a2e8324871f7a2d54b46ce75e4cefbffd8e8c76d;hb=67dc5cf478dfe5e3f517001febb9a8f7b922eacf;hp=ff91742582974e2cefae206d1684775266016c5b;hpb=1f7401c39a46466c307938c8f6cf7db224741981;p=sbcl.git

diff --git a/src/code/target-alieneval.lisp b/src/code/target-alieneval.lisp
index ff91742..a2e8324 100644
--- a/src/code/target-alieneval.lisp
+++ b/src/code/target-alieneval.lisp
@@ -73,19 +73,20 @@
     (clear-info :variable :constant-value lisp-name)
     (setf (info :variable :alien-info lisp-name)
 	  (make-heap-alien-info :type type
-				:sap-form `(foreign-symbol-address
-					    ',alien-name)))))
+				:sap-form `(foreign-symbol-address ',alien-name t)))))
 
 (defmacro extern-alien (name type &environment env)
   #!+sb-doc
   "Access the alien variable named NAME, assuming it is of type TYPE. This
    is SETFable."
-  (let ((alien-name (etypecase name
-		      (symbol (guess-alien-name-from-lisp-name name))
-		      (string name))))
+  (let* ((alien-name (etypecase name
+		       (symbol (guess-alien-name-from-lisp-name name))
+		       (string name)))
+	 (alien-type (parse-alien-type type env))
+	 (datap (not (alien-fun-type-p alien-type))))
     `(%heap-alien ',(make-heap-alien-info
-		     :type (parse-alien-type type env)
-		     :sap-form `(foreign-symbol-address ',alien-name)))))
+		     :type alien-type
+		     :sap-form `(foreign-symbol-address ',alien-name ,datap)))))
 
 (defmacro with-alien (bindings &body body &environment env)
   #!+sb-doc
@@ -109,7 +110,8 @@
 	  (symbol type &optional (opt1 nil opt1p) (opt2 nil opt2p))
 	  binding
 	(/show symbol type opt1 opt2)
-	(let ((alien-type (parse-alien-type type env)))
+	(let* ((alien-type (parse-alien-type type env))
+	       (datap (not (alien-fun-type-p alien-type))))
 	  (/show alien-type)
 	  (multiple-value-bind (allocation initial-value)
 	      (if opt2p
@@ -137,16 +139,17 @@
 				`((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
-					      ',initial-value))))
+					      ',initial-value
+					      ,datap))))
 		       `((symbol-macrolet
 			  ((,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 +167,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))))