(in-package "SB!KERNEL")
+(/show0 "code/alien-type.lisp 16")
+
(!begin-collecting-cold-init-forms)
(defstruct (alien-type-type
;;; 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)
*universal-type*))
(!defun-from-collected-cold-init-forms !alien-type-cold-init)
+
+(/show0 "code/alien-type.lisp end of file")