X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcode%2Falien-type.lisp;h=b76b3e9c11b9f5d9cdedb42bf2b187f72b9e545a;hb=6c4d4d984b1af6b2a73568cec3ab9c8795cff2da;hp=40e3ea14fd4eab59e7691f6b12c82dcb81f195dd;hpb=77360ee4a1f94c41b807be7ad0e8687199fceef1;p=sbcl.git

diff --git a/src/code/alien-type.lisp b/src/code/alien-type.lisp
index 40e3ea1..b76b3e9 100644
--- a/src/code/alien-type.lisp
+++ b/src/code/alien-type.lisp
@@ -13,12 +13,15 @@
 
 (in-package "SB!KERNEL")
 
+(/show0 "code/alien-type.lisp 16")
+
 (!begin-collecting-cold-init-forms)
 
 (defstruct (alien-type-type
 	    (:include ctype
 		      (class-info (type-class-or-lose 'alien)))
-	    (:constructor %make-alien-type-type (alien-type)))
+	    (:constructor %make-alien-type-type (alien-type))
+	    (:copier nil))
   (alien-type nil :type alien-type))
 
 (!define-type-class alien)
@@ -35,11 +38,6 @@
 ;;; others (toplevel form time instead of cold load init time) because
 ;;; ALIEN-VALUE itself is a structure which isn't defined until fairly
 ;;; late.
-;;;
-;;; FIXME: I'm somewhat tempted to just punt ALIEN from the type system.
-;;; It's sufficiently unlike the others that it's a bit of a pain, and
-;;; it doesn't seem to be put to any good use either in type inference or
-;;; in type declarations.
 (!define-superclasses alien ((alien-value)) progn)
 
 (!define-type-method (alien :simple-=) (type1 type2)
@@ -67,3 +65,5 @@
       *universal-type*))
 
 (!defun-from-collected-cold-init-forms !alien-type-cold-init)
+
+(/show0 "code/alien-type.lisp end of file")